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 | 107 |
1 files changed, 107 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..9a2d1db3 --- /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,107 @@ | |||
1 | '!'=59 | ||
2 | '!='=63 | ||
3 | '$false'=67 | ||
4 | '$less'=68 | ||
5 | '$true'=66 | ||
6 | '&'=57 | ||
7 | '('=32 | ||
8 | ')'=33 | ||
9 | ','=29 | ||
10 | ',['=28 | ||
11 | '.'=34 | ||
12 | ':'=60 | ||
13 | ':='=65 | ||
14 | '<='=53 | ||
15 | '<=>'=51 | ||
16 | '<~>'=54 | ||
17 | '='=64 | ||
18 | '=>'=52 | ||
19 | '?'=61 | ||
20 | '['=50 | ||
21 | ']'=30 | ||
22 | 'assumption'=39 | ||
23 | 'axiom'=35 | ||
24 | 'conjecture'=36 | ||
25 | 'corollary'=42 | ||
26 | 'definition'=38 | ||
27 | 'fi_domain'=46 | ||
28 | 'fi_functors'=47 | ||
29 | 'fi_predicates'=48 | ||
30 | 'fof'=31 | ||
31 | 'hypothesis'=37 | ||
32 | 'include('=27 | ||
33 | 'lemma'=40 | ||
34 | 'negated_conjecture'=43 | ||
35 | 'plain'=44 | ||
36 | 'theorem'=41 | ||
37 | 'type'=45 | ||
38 | 'unknown'=49 | ||
39 | '|'=58 | ||
40 | '~&'=56 | ||
41 | '~'=62 | ||
42 | '~|'=55 | ||
43 | RULE_ALPHA_NUMERIC=15 | ||
44 | RULE_ANY_OTHER=21 | ||
45 | RULE_DOLLAR_ID=9 | ||
46 | RULE_DOUBLE_DOLLAR_ID=10 | ||
47 | RULE_DOUBLE_QUOTE=14 | ||
48 | RULE_ID=22 | ||
49 | RULE_INT=17 | ||
50 | RULE_LITERAL=6 | ||
51 | RULE_LOWER_WORD_ID=5 | ||
52 | RULE_ML_COMMENT=24 | ||
53 | RULE_SIGN=16 | ||
54 | RULE_SIGNED_LITERAL=7 | ||
55 | RULE_SIGNED_RAT_ID=13 | ||
56 | RULE_SIGNED_REAL_ID=12 | ||
57 | RULE_SINGLE_COMMENT=8 | ||
58 | RULE_SINGLE_QUOTE=4 | ||
59 | RULE_SL_COMMENT=25 | ||
60 | RULE_STRING=23 | ||
61 | RULE_UNSIGNED_RAT_ID=20 | ||
62 | RULE_UNSIGNED_REAL_EXP_ID=19 | ||
63 | RULE_UNSIGNED_REAL_FRAC_ID=18 | ||
64 | RULE_UPPER_WORD_ID=11 | ||
65 | RULE_WS=26 | ||
66 | T__27=27 | ||
67 | T__28=28 | ||
68 | T__29=29 | ||
69 | T__30=30 | ||
70 | T__31=31 | ||
71 | T__32=32 | ||
72 | T__33=33 | ||
73 | T__34=34 | ||
74 | T__35=35 | ||
75 | T__36=36 | ||
76 | T__37=37 | ||
77 | T__38=38 | ||
78 | T__39=39 | ||
79 | T__40=40 | ||
80 | T__41=41 | ||
81 | T__42=42 | ||
82 | T__43=43 | ||
83 | T__44=44 | ||
84 | T__45=45 | ||
85 | T__46=46 | ||
86 | T__47=47 | ||
87 | T__48=48 | ||
88 | T__49=49 | ||
89 | T__50=50 | ||
90 | T__51=51 | ||
91 | T__52=52 | ||
92 | T__53=53 | ||
93 | T__54=54 | ||
94 | T__55=55 | ||
95 | T__56=56 | ||
96 | T__57=57 | ||
97 | T__58=58 | ||
98 | T__59=59 | ||
99 | T__60=60 | ||
100 | T__61=61 | ||
101 | T__62=62 | ||
102 | T__63=63 | ||
103 | T__64=64 | ||
104 | T__65=65 | ||
105 | T__66=66 | ||
106 | T__67=67 | ||
107 | T__68=68 | ||