forked from hi-paris/agent-theory
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathLTLLexer.interp
83 lines (78 loc) · 4.7 KB
/
LTLLexer.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
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
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:
T__0
T__1
T__2
T__3
T__4
T__5
T__6
T__7
T__8
T__9
T__10
T__11
T__12
T__13
T__14
T__15
T__16
T__17
T__18
T__19
ATOM
WS
channel names:
DEFAULT_TOKEN_CHANNEL
HIDDEN
mode names:
DEFAULT_MODE
atn:
[3, 24715, 42794, 33075, 47597, 16764, 15335, 30598, 22884, 2, 24, 142, 8, 1, 4, 2, 9, 2, 4, 3, 9, 3, 4, 4, 9, 4, 4, 5, 9, 5, 4, 6, 9, 6, 4, 7, 9, 7, 4, 8, 9, 8, 4, 9, 9, 9, 4, 10, 9, 10, 4, 11, 9, 11, 4, 12, 9, 12, 4, 13, 9, 13, 4, 14, 9, 14, 4, 15, 9, 15, 4, 16, 9, 16, 4, 17, 9, 17, 4, 18, 9, 18, 4, 19, 9, 19, 4, 20, 9, 20, 4, 21, 9, 21, 4, 22, 9, 22, 4, 23, 9, 23, 3, 2, 3, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 3, 5, 3, 5, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 7, 3, 7, 3, 8, 3, 8, 3, 8, 3, 8, 3, 8, 3, 8, 3, 8, 3, 9, 3, 9, 3, 10, 3, 10, 3, 10, 3, 10, 3, 10, 3, 10, 3, 11, 3, 11, 3, 12, 3, 12, 3, 12, 3, 12, 3, 12, 3, 12, 3, 12, 3, 12, 3, 13, 3, 13, 3, 14, 3, 14, 3, 14, 3, 15, 3, 15, 3, 15, 3, 15, 3, 16, 3, 16, 3, 16, 3, 17, 3, 17, 3, 17, 3, 18, 3, 18, 3, 18, 3, 19, 3, 19, 3, 19, 3, 19, 3, 19, 3, 19, 3, 19, 3, 19, 3, 20, 3, 20, 3, 21, 3, 21, 3, 22, 3, 22, 7, 22, 131, 10, 22, 12, 22, 14, 22, 134, 11, 22, 3, 23, 6, 23, 137, 10, 23, 13, 23, 14, 23, 138, 3, 23, 3, 23, 2, 2, 24, 3, 3, 5, 4, 7, 5, 9, 6, 11, 7, 13, 8, 15, 9, 17, 10, 19, 11, 21, 12, 23, 13, 25, 14, 27, 15, 29, 16, 31, 17, 33, 18, 35, 19, 37, 20, 39, 21, 41, 22, 43, 23, 45, 24, 3, 2, 5, 4, 2, 97, 97, 99, 124, 5, 2, 50, 59, 97, 97, 99, 124, 5, 2, 11, 12, 14, 15, 34, 34, 2, 143, 2, 3, 3, 2, 2, 2, 2, 5, 3, 2, 2, 2, 2, 7, 3, 2, 2, 2, 2, 9, 3, 2, 2, 2, 2, 11, 3, 2, 2, 2, 2, 13, 3, 2, 2, 2, 2, 15, 3, 2, 2, 2, 2, 17, 3, 2, 2, 2, 2, 19, 3, 2, 2, 2, 2, 21, 3, 2, 2, 2, 2, 23, 3, 2, 2, 2, 2, 25, 3, 2, 2, 2, 2, 27, 3, 2, 2, 2, 2, 29, 3, 2, 2, 2, 2, 31, 3, 2, 2, 2, 2, 33, 3, 2, 2, 2, 2, 35, 3, 2, 2, 2, 2, 37, 3, 2, 2, 2, 2, 39, 3, 2, 2, 2, 2, 41, 3, 2, 2, 2, 2, 43, 3, 2, 2, 2, 2, 45, 3, 2, 2, 2, 3, 47, 3, 2, 2, 2, 5, 49, 3, 2, 2, 2, 7, 53, 3, 2, 2, 2, 9, 58, 3, 2, 2, 2, 11, 60, 3, 2, 2, 2, 13, 71, 3, 2, 2, 2, 15, 73, 3, 2, 2, 2, 17, 80, 3, 2, 2, 2, 19, 82, 3, 2, 2, 2, 21, 88, 3, 2, 2, 2, 23, 90, 3, 2, 2, 2, 25, 98, 3, 2, 2, 2, 27, 100, 3, 2, 2, 2, 29, 103, 3, 2, 2, 2, 31, 107, 3, 2, 2, 2, 33, 110, 3, 2, 2, 2, 35, 113, 3, 2, 2, 2, 37, 116, 3, 2, 2, 2, 39, 124, 3, 2, 2, 2, 41, 126, 3, 2, 2, 2, 43, 128, 3, 2, 2, 2, 45, 136, 3, 2, 2, 2, 47, 48, 7, 35, 2, 2, 48, 4, 3, 2, 2, 2, 49, 50, 7, 112, 2, 2, 50, 51, 7, 113, 2, 2, 51, 52, 7, 118, 2, 2, 52, 6, 3, 2, 2, 2, 53, 54, 7, 112, 2, 2, 54, 55, 7, 103, 2, 2, 55, 56, 7, 122, 2, 2, 56, 57, 7, 118, 2, 2, 57, 8, 3, 2, 2, 2, 58, 59, 7, 90, 2, 2, 59, 10, 3, 2, 2, 2, 60, 61, 7, 103, 2, 2, 61, 62, 7, 120, 2, 2, 62, 63, 7, 103, 2, 2, 63, 64, 7, 112, 2, 2, 64, 65, 7, 118, 2, 2, 65, 66, 7, 119, 2, 2, 66, 67, 7, 99, 2, 2, 67, 68, 7, 110, 2, 2, 68, 69, 7, 110, 2, 2, 69, 70, 7, 123, 2, 2, 70, 12, 3, 2, 2, 2, 71, 72, 7, 72, 2, 2, 72, 14, 3, 2, 2, 2, 73, 74, 7, 99, 2, 2, 74, 75, 7, 110, 2, 2, 75, 76, 7, 121, 2, 2, 76, 77, 7, 99, 2, 2, 77, 78, 7, 123, 2, 2, 78, 79, 7, 117, 2, 2, 79, 16, 3, 2, 2, 2, 80, 81, 7, 73, 2, 2, 81, 18, 3, 2, 2, 2, 82, 83, 7, 119, 2, 2, 83, 84, 7, 112, 2, 2, 84, 85, 7, 118, 2, 2, 85, 86, 7, 107, 2, 2, 86, 87, 7, 110, 2, 2, 87, 20, 3, 2, 2, 2, 88, 89, 7, 87, 2, 2, 89, 22, 3, 2, 2, 2, 90, 91, 7, 116, 2, 2, 91, 92, 7, 103, 2, 2, 92, 93, 7, 110, 2, 2, 93, 94, 7, 103, 2, 2, 94, 95, 7, 99, 2, 2, 95, 96, 7, 117, 2, 2, 96, 97, 7, 103, 2, 2, 97, 24, 3, 2, 2, 2, 98, 99, 7, 84, 2, 2, 99, 26, 3, 2, 2, 2, 100, 101, 7, 40, 2, 2, 101, 102, 7, 40, 2, 2, 102, 28, 3, 2, 2, 2, 103, 104, 7, 99, 2, 2, 104, 105, 7, 112, 2, 2, 105, 106, 7, 102, 2, 2, 106, 30, 3, 2, 2, 2, 107, 108, 7, 126, 2, 2, 108, 109, 7, 126, 2, 2, 109, 32, 3, 2, 2, 2, 110, 111, 7, 113, 2, 2, 111, 112, 7, 116, 2, 2, 112, 34, 3, 2, 2, 2, 113, 114, 7, 47, 2, 2, 114, 115, 7, 64, 2, 2, 115, 36, 3, 2, 2, 2, 116, 117, 7, 107, 2, 2, 117, 118, 7, 111, 2, 2, 118, 119, 7, 114, 2, 2, 119, 120, 7, 110, 2, 2, 120, 121, 7, 107, 2, 2, 121, 122, 7, 103, 2, 2, 122, 123, 7, 117, 2, 2, 123, 38, 3, 2, 2, 2, 124, 125, 7, 42, 2, 2, 125, 40, 3, 2, 2, 2, 126, 127, 7, 43, 2, 2, 127, 42, 3, 2, 2, 2, 128, 132, 9, 2, 2, 2, 129, 131, 9, 3, 2, 2, 130, 129, 3, 2, 2, 2, 131, 134, 3, 2, 2, 2, 132, 130, 3, 2, 2, 2, 132, 133, 3, 2, 2, 2, 133, 44, 3, 2, 2, 2, 134, 132, 3, 2, 2, 2, 135, 137, 9, 4, 2, 2, 136, 135, 3, 2, 2, 2, 137, 138, 3, 2, 2, 2, 138, 136, 3, 2, 2, 2, 138, 139, 3, 2, 2, 2, 139, 140, 3, 2, 2, 2, 140, 141, 8, 23, 2, 2, 141, 46, 3, 2, 2, 2, 5, 2, 132, 138, 3, 8, 2, 2]