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 | 50 |
1 files changed, 27 insertions, 23 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 95d8ec8a..8c5830d1 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,24 +1,25 @@ | |||
1 | '!'=60 | 1 | '!'=62 |
2 | '!='=64 | 2 | '!='=66 |
3 | '$false'=68 | 3 | '$false'=70 |
4 | '$less'=69 | 4 | '$less'=71 |
5 | '$true'=67 | 5 | '$true'=69 |
6 | '%'=46 | 6 | '%'=46 |
7 | '&'=58 | 7 | '&'=60 |
8 | '('=48 | 8 | '('=49 |
9 | ')'=49 | 9 | ')'=50 |
10 | ','=45 | 10 | ','=45 |
11 | ',['=43 | 11 | ',['=43 |
12 | '.'=50 | 12 | '.'=51 |
13 | ':'=61 | 13 | ':'=63 |
14 | ':='=66 | 14 | ':='=68 |
15 | '<='=54 | 15 | '<='=56 |
16 | '<=>'=52 | 16 | '<=>'=54 |
17 | '<~>'=55 | 17 | '<~>'=57 |
18 | '='=65 | 18 | '='=67 |
19 | '=>'=53 | 19 | '=>'=55 |
20 | '?'=62 | 20 | '?'=64 |
21 | '['=51 | 21 | 'Satisfiable!'=47 |
22 | '['=53 | ||
22 | ']'=44 | 23 | ']'=44 |
23 | 'assumption'=31 | 24 | 'assumption'=31 |
24 | 'axiom'=27 | 25 | 'axiom'=27 |
@@ -28,19 +29,20 @@ | |||
28 | 'fi_domain'=38 | 29 | 'fi_domain'=38 |
29 | 'fi_functors'=39 | 30 | 'fi_functors'=39 |
30 | 'fi_predicates'=40 | 31 | 'fi_predicates'=40 |
31 | 'fof'=47 | 32 | 'fof'=48 |
32 | 'hypothesis'=29 | 33 | 'hypothesis'=29 |
33 | 'include('=42 | 34 | 'include('=42 |
34 | 'lemma'=32 | 35 | 'lemma'=32 |
35 | 'negated_conjecture'=35 | 36 | 'negated_conjecture'=35 |
36 | 'plain'=36 | 37 | 'plain'=36 |
38 | 'tff'=52 | ||
37 | 'theorem'=33 | 39 | 'theorem'=33 |
38 | 'type'=37 | 40 | 'type'=37 |
39 | 'unknown'=41 | 41 | 'unknown'=41 |
40 | '|'=59 | 42 | '|'=61 |
41 | '~&'=57 | 43 | '~&'=59 |
42 | '~'=63 | 44 | '~'=65 |
43 | '~|'=56 | 45 | '~|'=58 |
44 | RULE_ALPHA_NUMERIC=15 | 46 | RULE_ALPHA_NUMERIC=15 |
45 | RULE_ANY_OTHER=22 | 47 | RULE_ANY_OTHER=22 |
46 | RULE_DOLLAR_ID=8 | 48 | RULE_DOLLAR_ID=8 |
@@ -107,3 +109,5 @@ T__66=66 | |||
107 | T__67=67 | 109 | T__67=67 |
108 | T__68=68 | 110 | T__68=68 |
109 | T__69=69 | 111 | T__69=69 |
112 | T__70=70 | ||
113 | T__71=71 | ||