diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.tokens')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.tokens | 52 |
1 files changed, 27 insertions, 25 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.tokens b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.tokens index 72d5159d..95d8ec8a 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.tokens +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.tokens | |||
@@ -1,23 +1,24 @@ | |||
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 | '%'=46 |
7 | '('=47 | 7 | '&'=58 |
8 | ')'=48 | 8 | '('=48 |
9 | ')'=49 | ||
9 | ','=45 | 10 | ','=45 |
10 | ',['=43 | 11 | ',['=43 |
11 | '.'=49 | 12 | '.'=50 |
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 | ']'=44 | 22 | ']'=44 |
22 | 'assumption'=31 | 23 | 'assumption'=31 |
23 | 'axiom'=27 | 24 | 'axiom'=27 |
@@ -27,7 +28,7 @@ | |||
27 | 'fi_domain'=38 | 28 | 'fi_domain'=38 |
28 | 'fi_functors'=39 | 29 | 'fi_functors'=39 |
29 | 'fi_predicates'=40 | 30 | 'fi_predicates'=40 |
30 | 'fof'=46 | 31 | 'fof'=47 |
31 | 'hypothesis'=29 | 32 | 'hypothesis'=29 |
32 | 'include('=42 | 33 | 'include('=42 |
33 | 'lemma'=32 | 34 | 'lemma'=32 |
@@ -36,16 +37,16 @@ | |||
36 | 'theorem'=33 | 37 | 'theorem'=33 |
37 | 'type'=37 | 38 | 'type'=37 |
38 | 'unknown'=41 | 39 | 'unknown'=41 |
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=8 | 46 | RULE_DOLLAR_ID=8 |
46 | RULE_DOUBLE_DOLLAR_ID=9 | 47 | RULE_DOUBLE_DOLLAR_ID=9 |
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=4 | 52 | RULE_LOWER_WORD_ID=4 |
@@ -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 | ||