diff options
author | 2019-01-15 12:44:33 -0500 | |
---|---|---|
committer | 2020-06-07 19:06:26 -0400 | |
commit | f87b4233437f0900c19f462b5e443a3c81b27b6e (patch) | |
tree | fa5af86016db54e24f54e3d801424eb1216efc2f /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.tokens | |
parent | Fix numeric-solver-at-end (diff) | |
download | VIATRA-Generator-f87b4233437f0900c19f462b5e443a3c81b27b6e.tar.gz VIATRA-Generator-f87b4233437f0900c19f462b5e443a3c81b27b6e.tar.zst VIATRA-Generator-f87b4233437f0900c19f462b5e443a3c81b27b6e.zip |
Initial workspace setup
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 | 107 |
1 files changed, 107 insertions, 0 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 new file mode 100644 index 00000000..72d5159d --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.tokens | |||
@@ -0,0 +1,107 @@ | |||
1 | '!'=59 | ||
2 | '!='=63 | ||
3 | '$false'=67 | ||
4 | '$less'=68 | ||
5 | '$true'=66 | ||
6 | '&'=57 | ||
7 | '('=47 | ||
8 | ')'=48 | ||
9 | ','=45 | ||
10 | ',['=43 | ||
11 | '.'=49 | ||
12 | ':'=60 | ||
13 | ':='=65 | ||
14 | '<='=53 | ||
15 | '<=>'=51 | ||
16 | '<~>'=54 | ||
17 | '='=64 | ||
18 | '=>'=52 | ||
19 | '?'=61 | ||
20 | '['=50 | ||
21 | ']'=44 | ||
22 | 'assumption'=31 | ||
23 | 'axiom'=27 | ||
24 | 'conjecture'=28 | ||
25 | 'corollary'=34 | ||
26 | 'definition'=30 | ||
27 | 'fi_domain'=38 | ||
28 | 'fi_functors'=39 | ||
29 | 'fi_predicates'=40 | ||
30 | 'fof'=46 | ||
31 | 'hypothesis'=29 | ||
32 | 'include('=42 | ||
33 | 'lemma'=32 | ||
34 | 'negated_conjecture'=35 | ||
35 | 'plain'=36 | ||
36 | 'theorem'=33 | ||
37 | 'type'=37 | ||
38 | 'unknown'=41 | ||
39 | '|'=58 | ||
40 | '~&'=56 | ||
41 | '~'=62 | ||
42 | '~|'=55 | ||
43 | RULE_ALPHA_NUMERIC=15 | ||
44 | RULE_ANY_OTHER=21 | ||
45 | RULE_DOLLAR_ID=8 | ||
46 | RULE_DOUBLE_DOLLAR_ID=9 | ||
47 | RULE_DOUBLE_QUOTE=14 | ||
48 | RULE_ID=22 | ||
49 | RULE_INT=17 | ||
50 | RULE_LITERAL=6 | ||
51 | RULE_LOWER_WORD_ID=4 | ||
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=10 | ||
58 | RULE_SINGLE_QUOTE=5 | ||
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 | ||