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 | 155 |
1 files changed, 89 insertions, 66 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 8c5830d1..0f70141c 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,71 +1,85 @@ | |||
1 | '!'=62 | 1 | '!'=72 |
2 | '!='=66 | 2 | '!='=75 |
3 | '$false'=70 | 3 | '$false'=79 |
4 | '$less'=71 | 4 | '$less'=80 |
5 | '$true'=69 | 5 | '$true'=78 |
6 | '%'=46 | 6 | '&'=70 |
7 | '&'=60 | 7 | '('=55 |
8 | '('=49 | 8 | ')'=57 |
9 | ')'=50 | 9 | '*'=63 |
10 | ','=45 | 10 | ','=56 |
11 | ',['=43 | 11 | '.'=58 |
12 | '.'=51 | 12 | ':'=61 |
13 | ':'=63 | 13 | ':='=77 |
14 | ':='=68 | 14 | '<='=66 |
15 | '<='=56 | 15 | '<=>'=64 |
16 | '<=>'=54 | 16 | '<~>'=67 |
17 | '<~>'=57 | 17 | '='=76 |
18 | '='=67 | 18 | '=>'=65 |
19 | '=>'=55 | 19 | '>'=62 |
20 | '?'=64 | 20 | '?'=73 |
21 | 'Satisfiable!'=47 | 21 | 'Could'=41 |
22 | '['=53 | 22 | 'Finite'=51 |
23 | ']'=44 | 23 | 'Found!'=53 |
24 | 'assumption'=31 | 24 | 'Model'=52 |
25 | 'axiom'=27 | 25 | 'Satisfiable!'=39 |
26 | 'conjecture'=28 | 26 | 'TRYING'=48 |
27 | 'corollary'=34 | 27 | 'Virtual'=46 |
28 | 'definition'=30 | 28 | 'WARNING!'=40 |
29 | 'fi_domain'=38 | 29 | '['=49 |
30 | 'fi_functors'=39 | 30 | ']'=50 |
31 | 'fi_predicates'=40 | 31 | 'assumption'=28 |
32 | 'fof'=48 | 32 | 'axiom'=24 |
33 | 'hypothesis'=29 | 33 | 'conjecture'=25 |
34 | 'include('=42 | 34 | 'corollary'=31 |
35 | 'lemma'=32 | 35 | 'declare_'=60 |
36 | 'negated_conjecture'=35 | 36 | 'definition'=27 |
37 | 'plain'=36 | 37 | 'distinct_domain'=22 |
38 | 'tff'=52 | 38 | 'fi_domain'=35 |
39 | 'theorem'=33 | 39 | 'fi_functors'=36 |
40 | 'type'=37 | 40 | 'fi_predicates'=37 |
41 | 'unknown'=41 | 41 | 'finite_domain'=23 |
42 | '|'=61 | 42 | 'fof'=54 |
43 | '~&'=59 | 43 | 'hypothesis'=26 |
44 | '~'=65 | 44 | 'lemma'=29 |
45 | '~|'=58 | 45 | 'limit:'=45 |
46 | RULE_ALPHA_NUMERIC=15 | 46 | 'memory.'=47 |
47 | RULE_ANY_OTHER=22 | 47 | 'negated_conjecture'=32 |
48 | RULE_DOLLAR_ID=8 | 48 | 'not'=42 |
49 | RULE_DOUBLE_DOLLAR_ID=9 | 49 | 'plain'=33 |
50 | RULE_DOUBLE_QUOTE=14 | 50 | 'resource'=44 |
51 | RULE_ID=21 | 51 | 'set'=43 |
52 | RULE_INT=17 | 52 | 'tff'=59 |
53 | RULE_LITERAL=6 | 53 | 'theorem'=30 |
54 | 'type'=34 | ||
55 | 'unknown'=38 | ||
56 | '|'=71 | ||
57 | '~&'=69 | ||
58 | '~'=74 | ||
59 | '~|'=68 | ||
60 | RULE_ALPHA_NUMERIC=13 | ||
61 | RULE_ANY_OTHER=21 | ||
62 | RULE_DOLLAR_ID=7 | ||
63 | RULE_DOUBLE_DOLLAR_ID=8 | ||
64 | RULE_DOUBLE_QUOTE=12 | ||
65 | RULE_ID=16 | ||
66 | RULE_INT=15 | ||
67 | RULE_LITERAL=10 | ||
54 | RULE_LOWER_WORD_ID=4 | 68 | RULE_LOWER_WORD_ID=4 |
55 | RULE_ML_COMMENT=24 | 69 | RULE_ML_COMMENT=18 |
56 | RULE_SIGN=16 | 70 | RULE_SIGN=14 |
57 | RULE_SIGNED_LITERAL=7 | 71 | RULE_SIGNED_LITERAL=5 |
58 | RULE_SIGNED_RAT_ID=13 | 72 | RULE_SINGLE_COMMENT=9 |
59 | RULE_SIGNED_REAL_ID=12 | 73 | RULE_SINGLE_QUOTE=6 |
60 | RULE_SINGLE_COMMENT=10 | 74 | RULE_SL_COMMENT=19 |
61 | RULE_SINGLE_QUOTE=5 | 75 | RULE_STRING=17 |
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 | 76 | RULE_UPPER_WORD_ID=11 |
68 | RULE_WS=26 | 77 | RULE_WS=20 |
78 | T__22=22 | ||
79 | T__23=23 | ||
80 | T__24=24 | ||
81 | T__25=25 | ||
82 | T__26=26 | ||
69 | T__27=27 | 83 | T__27=27 |
70 | T__28=28 | 84 | T__28=28 |
71 | T__29=29 | 85 | T__29=29 |
@@ -111,3 +125,12 @@ T__68=68 | |||
111 | T__69=69 | 125 | T__69=69 |
112 | T__70=70 | 126 | T__70=70 |
113 | T__71=71 | 127 | T__71=71 |
128 | T__72=72 | ||
129 | T__73=73 | ||
130 | T__74=74 | ||
131 | T__75=75 | ||
132 | T__76=76 | ||
133 | T__77=77 | ||
134 | T__78=78 | ||
135 | T__79=79 | ||
136 | T__80=80 | ||