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 | 82 |
1 files changed, 42 insertions, 40 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 index 9a2d1db3..cc616854 100644 --- 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 | |||
@@ -1,51 +1,52 @@ | |||
1 | '!'=59 | 1 | '!'=60 |
2 | '!='=63 | 2 | '!='=64 |
3 | '$false'=67 | 3 | '$false'=68 |
4 | '$less'=68 | 4 | '$less'=69 |
5 | '$true'=66 | 5 | '$true'=67 |
6 | '&'=57 | 6 | '%'=31 |
7 | '('=32 | 7 | '&'=58 |
8 | ')'=33 | 8 | '('=33 |
9 | ')'=34 | ||
9 | ','=29 | 10 | ','=29 |
10 | ',['=28 | 11 | ',['=28 |
11 | '.'=34 | 12 | '.'=35 |
12 | ':'=60 | 13 | ':'=61 |
13 | ':='=65 | 14 | ':='=66 |
14 | '<='=53 | 15 | '<='=54 |
15 | '<=>'=51 | 16 | '<=>'=52 |
16 | '<~>'=54 | 17 | '<~>'=55 |
17 | '='=64 | 18 | '='=65 |
18 | '=>'=52 | 19 | '=>'=53 |
19 | '?'=61 | 20 | '?'=62 |
20 | '['=50 | 21 | '['=51 |
21 | ']'=30 | 22 | ']'=30 |
22 | 'assumption'=39 | 23 | 'assumption'=40 |
23 | 'axiom'=35 | 24 | 'axiom'=36 |
24 | 'conjecture'=36 | 25 | 'conjecture'=37 |
25 | 'corollary'=42 | 26 | 'corollary'=43 |
26 | 'definition'=38 | 27 | 'definition'=39 |
27 | 'fi_domain'=46 | 28 | 'fi_domain'=47 |
28 | 'fi_functors'=47 | 29 | 'fi_functors'=48 |
29 | 'fi_predicates'=48 | 30 | 'fi_predicates'=49 |
30 | 'fof'=31 | 31 | 'fof'=32 |
31 | 'hypothesis'=37 | 32 | 'hypothesis'=38 |
32 | 'include('=27 | 33 | 'include('=27 |
33 | 'lemma'=40 | 34 | 'lemma'=41 |
34 | 'negated_conjecture'=43 | 35 | 'negated_conjecture'=44 |
35 | 'plain'=44 | 36 | 'plain'=45 |
36 | 'theorem'=41 | 37 | 'theorem'=42 |
37 | 'type'=45 | 38 | 'type'=46 |
38 | 'unknown'=49 | 39 | 'unknown'=50 |
39 | '|'=58 | 40 | '|'=59 |
40 | '~&'=56 | 41 | '~&'=57 |
41 | '~'=62 | 42 | '~'=63 |
42 | '~|'=55 | 43 | '~|'=56 |
43 | RULE_ALPHA_NUMERIC=15 | 44 | RULE_ALPHA_NUMERIC=15 |
44 | RULE_ANY_OTHER=21 | 45 | RULE_ANY_OTHER=22 |
45 | RULE_DOLLAR_ID=9 | 46 | RULE_DOLLAR_ID=9 |
46 | RULE_DOUBLE_DOLLAR_ID=10 | 47 | RULE_DOUBLE_DOLLAR_ID=10 |
47 | RULE_DOUBLE_QUOTE=14 | 48 | RULE_DOUBLE_QUOTE=14 |
48 | RULE_ID=22 | 49 | RULE_ID=21 |
49 | RULE_INT=17 | 50 | RULE_INT=17 |
50 | RULE_LITERAL=6 | 51 | RULE_LITERAL=6 |
51 | RULE_LOWER_WORD_ID=5 | 52 | RULE_LOWER_WORD_ID=5 |
@@ -105,3 +106,4 @@ T__65=65 | |||
105 | T__66=66 | 106 | T__66=66 |
106 | T__67=67 | 107 | T__67=67 |
107 | T__68=68 | 108 | T__68=68 |
109 | T__69=69 | ||