diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.tokens')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.tokens | 113 |
1 files changed, 113 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.tokens b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.tokens new file mode 100644 index 00000000..b7074acc --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.tokens | |||
@@ -0,0 +1,113 @@ | |||
1 | '!'=62 | ||
2 | '!='=66 | ||
3 | '$false'=70 | ||
4 | '$less'=71 | ||
5 | '$true'=69 | ||
6 | '%'=31 | ||
7 | '&'=60 | ||
8 | '('=34 | ||
9 | ')'=35 | ||
10 | ','=29 | ||
11 | ',['=28 | ||
12 | '.'=36 | ||
13 | ':'=63 | ||
14 | ':='=68 | ||
15 | '<='=56 | ||
16 | '<=>'=54 | ||
17 | '<~>'=57 | ||
18 | '='=67 | ||
19 | '=>'=55 | ||
20 | '?'=64 | ||
21 | 'Satisfiable!'=32 | ||
22 | '['=53 | ||
23 | ']'=30 | ||
24 | 'assumption'=42 | ||
25 | 'axiom'=38 | ||
26 | 'conjecture'=39 | ||
27 | 'corollary'=45 | ||
28 | 'definition'=41 | ||
29 | 'fi_domain'=49 | ||
30 | 'fi_functors'=50 | ||
31 | 'fi_predicates'=51 | ||
32 | 'fof'=33 | ||
33 | 'hypothesis'=40 | ||
34 | 'include('=27 | ||
35 | 'lemma'=43 | ||
36 | 'negated_conjecture'=46 | ||
37 | 'plain'=47 | ||
38 | 'tff'=37 | ||
39 | 'theorem'=44 | ||
40 | 'type'=48 | ||
41 | 'unknown'=52 | ||
42 | '|'=61 | ||
43 | '~&'=59 | ||
44 | '~'=65 | ||
45 | '~|'=58 | ||
46 | RULE_ALPHA_NUMERIC=15 | ||
47 | RULE_ANY_OTHER=22 | ||
48 | RULE_DOLLAR_ID=9 | ||
49 | RULE_DOUBLE_DOLLAR_ID=10 | ||
50 | RULE_DOUBLE_QUOTE=14 | ||
51 | RULE_ID=21 | ||
52 | RULE_INT=17 | ||
53 | RULE_LITERAL=6 | ||
54 | RULE_LOWER_WORD_ID=5 | ||
55 | RULE_ML_COMMENT=24 | ||
56 | RULE_SIGN=16 | ||
57 | RULE_SIGNED_LITERAL=7 | ||
58 | RULE_SIGNED_RAT_ID=13 | ||
59 | RULE_SIGNED_REAL_ID=12 | ||
60 | RULE_SINGLE_COMMENT=8 | ||
61 | RULE_SINGLE_QUOTE=4 | ||
62 | RULE_SL_COMMENT=25 | ||
63 | RULE_STRING=23 | ||
64 | RULE_UNSIGNED_RAT_ID=20 | ||
65 | RULE_UNSIGNED_REAL_EXP_ID=19 | ||
66 | RULE_UNSIGNED_REAL_FRAC_ID=18 | ||
67 | RULE_UPPER_WORD_ID=11 | ||
68 | RULE_WS=26 | ||
69 | T__27=27 | ||
70 | T__28=28 | ||
71 | T__29=29 | ||
72 | T__30=30 | ||
73 | T__31=31 | ||
74 | T__32=32 | ||
75 | T__33=33 | ||
76 | T__34=34 | ||
77 | T__35=35 | ||
78 | T__36=36 | ||
79 | T__37=37 | ||
80 | T__38=38 | ||
81 | T__39=39 | ||
82 | T__40=40 | ||
83 | T__41=41 | ||
84 | T__42=42 | ||
85 | T__43=43 | ||
86 | T__44=44 | ||
87 | T__45=45 | ||
88 | T__46=46 | ||
89 | T__47=47 | ||
90 | T__48=48 | ||
91 | T__49=49 | ||
92 | T__50=50 | ||
93 | T__51=51 | ||
94 | T__52=52 | ||
95 | T__53=53 | ||
96 | T__54=54 | ||
97 | T__55=55 | ||
98 | T__56=56 | ||
99 | T__57=57 | ||
100 | T__58=58 | ||
101 | T__59=59 | ||
102 | T__60=60 | ||
103 | T__61=61 | ||
104 | T__62=62 | ||
105 | T__63=63 | ||
106 | T__64=64 | ||
107 | T__65=65 | ||
108 | T__66=66 | ||
109 | T__67=67 | ||
110 | T__68=68 | ||
111 | T__69=69 | ||
112 | T__70=70 | ||
113 | T__71=71 | ||