blob: dd01b9b0f85a39a99485aba74efcf29bb6d03e5e (
plain) (
blame)
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
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
|
'!'=72
'!='=75
'$false'=79
'$less'=80
'$true'=78
'&'=70
'('=38
')'=40
'*'=63
','=39
'.'=41
':'=61
':='=77
'<='=66
'<=>'=64
'<~>'=67
'='=76
'=>'=65
'>'=62
'?'=73
'Could'=24
'Finite'=34
'Found!'=36
'Model'=35
'Satisfiable!'=22
'TRYING'=31
'Virtual'=29
'WARNING!'=23
'['=32
']'=33
'assumption'=50
'axiom'=46
'conjecture'=47
'corollary'=53
'declare_'=45
'definition'=49
'distinct_domain'=43
'fi_domain'=57
'fi_functors'=58
'fi_predicates'=59
'finite_domain'=44
'fof'=37
'hypothesis'=48
'lemma'=51
'limit:'=28
'memory.'=30
'negated_conjecture'=54
'not'=25
'plain'=55
'resource'=27
'set'=26
'tff'=42
'theorem'=52
'type'=56
'unknown'=60
'|'=71
'~&'=69
'~'=74
'~|'=68
RULE_ALPHA_NUMERIC=13
RULE_ANY_OTHER=21
RULE_DOLLAR_ID=9
RULE_DOUBLE_DOLLAR_ID=10
RULE_DOUBLE_QUOTE=12
RULE_ID=16
RULE_INT=15
RULE_LITERAL=5
RULE_LOWER_WORD_ID=6
RULE_ML_COMMENT=18
RULE_SIGN=14
RULE_SIGNED_LITERAL=7
RULE_SINGLE_COMMENT=4
RULE_SINGLE_QUOTE=8
RULE_SL_COMMENT=19
RULE_STRING=17
RULE_UPPER_WORD_ID=11
RULE_WS=20
T__22=22
T__23=23
T__24=24
T__25=25
T__26=26
T__27=27
T__28=28
T__29=29
T__30=30
T__31=31
T__32=32
T__33=33
T__34=34
T__35=35
T__36=36
T__37=37
T__38=38
T__39=39
T__40=40
T__41=41
T__42=42
T__43=43
T__44=44
T__45=45
T__46=46
T__47=47
T__48=48
T__49=49
T__50=50
T__51=51
T__52=52
T__53=53
T__54=54
T__55=55
T__56=56
T__57=57
T__58=58
T__59=59
T__60=60
T__61=61
T__62=62
T__63=63
T__64=64
T__65=65
T__66=66
T__67=67
T__68=68
T__69=69
T__70=70
T__71=71
T__72=72
T__73=73
T__74=74
T__75=75
T__76=76
T__77=77
T__78=78
T__79=79
T__80=80
|
