forked from hi-paris/agent-theory
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathLTL.interp
57 lines (53 loc) · 1.8 KB
/
LTL.interp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
token literal names:
null
'!'
'not'
'next'
'X'
'eventually'
'F'
'always'
'G'
'until'
'U'
'release'
'R'
'&&'
'and'
'||'
'or'
'->'
'implies'
'('
')'
null
null
token symbolic names:
null
null
null
null
null
null
null
null
null
null
null
null
null
null
null
null
null
null
null
null
null
ATOM
WS
rule names:
ltlExpr
atomExpr
atn:
[3, 24715, 42794, 33075, 47597, 16764, 15335, 30598, 22884, 3, 24, 45, 4, 2, 9, 2, 4, 3, 9, 3, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 5, 2, 21, 10, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 7, 2, 38, 10, 2, 12, 2, 14, 2, 41, 11, 2, 3, 3, 3, 3, 3, 3, 2, 3, 2, 4, 2, 4, 2, 11, 3, 2, 3, 4, 3, 2, 5, 6, 3, 2, 7, 8, 3, 2, 9, 10, 3, 2, 11, 12, 3, 2, 13, 14, 3, 2, 15, 16, 3, 2, 17, 18, 3, 2, 19, 20, 2, 52, 2, 20, 3, 2, 2, 2, 4, 42, 3, 2, 2, 2, 6, 7, 8, 2, 1, 2, 7, 8, 9, 2, 2, 2, 8, 21, 5, 2, 2, 13, 9, 10, 9, 3, 2, 2, 10, 21, 5, 2, 2, 12, 11, 12, 9, 4, 2, 2, 12, 21, 5, 2, 2, 11, 13, 14, 9, 5, 2, 2, 14, 21, 5, 2, 2, 10, 15, 16, 7, 21, 2, 2, 16, 17, 5, 2, 2, 2, 17, 18, 7, 22, 2, 2, 18, 21, 3, 2, 2, 2, 19, 21, 5, 4, 3, 2, 20, 6, 3, 2, 2, 2, 20, 9, 3, 2, 2, 2, 20, 11, 3, 2, 2, 2, 20, 13, 3, 2, 2, 2, 20, 15, 3, 2, 2, 2, 20, 19, 3, 2, 2, 2, 21, 39, 3, 2, 2, 2, 22, 23, 12, 9, 2, 2, 23, 24, 9, 6, 2, 2, 24, 38, 5, 2, 2, 10, 25, 26, 12, 8, 2, 2, 26, 27, 9, 7, 2, 2, 27, 38, 5, 2, 2, 9, 28, 29, 12, 7, 2, 2, 29, 30, 9, 8, 2, 2, 30, 38, 5, 2, 2, 8, 31, 32, 12, 6, 2, 2, 32, 33, 9, 9, 2, 2, 33, 38, 5, 2, 2, 7, 34, 35, 12, 5, 2, 2, 35, 36, 9, 10, 2, 2, 36, 38, 5, 2, 2, 6, 37, 22, 3, 2, 2, 2, 37, 25, 3, 2, 2, 2, 37, 28, 3, 2, 2, 2, 37, 31, 3, 2, 2, 2, 37, 34, 3, 2, 2, 2, 38, 41, 3, 2, 2, 2, 39, 37, 3, 2, 2, 2, 39, 40, 3, 2, 2, 2, 40, 3, 3, 2, 2, 2, 41, 39, 3, 2, 2, 2, 42, 43, 7, 23, 2, 2, 43, 5, 3, 2, 2, 2, 5, 20, 37, 39]