diff options
Diffstat (limited to 'Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.tokens')
-rw-r--r-- | Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.tokens | 123 |
1 files changed, 123 insertions, 0 deletions
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.tokens b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.tokens new file mode 100644 index 00000000..0c49122d --- /dev/null +++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.tokens | |||
@@ -0,0 +1,123 @@ | |||
1 | '!'=28 | ||
2 | '('=15 | ||
3 | ')'=17 | ||
4 | '*'=46 | ||
5 | '+'=44 | ||
6 | '-'=45 | ||
7 | '--------------'=13 | ||
8 | '/'=47 | ||
9 | ':pattern'=29 | ||
10 | ';'=65 | ||
11 | '<'=40 | ||
12 | '<='=42 | ||
13 | '='=38 | ||
14 | '=>'=33 | ||
15 | '>'=41 | ||
16 | '>='=43 | ||
17 | 'Bool'=21 | ||
18 | 'Int'=20 | ||
19 | 'Real'=22 | ||
20 | 'and'=31 | ||
21 | 'and-then'=54 | ||
22 | 'assert'=50 | ||
23 | 'check-sat'=51 | ||
24 | 'check-sat-using'=52 | ||
25 | 'declare-datatypes'=18 | ||
26 | 'declare-fun'=23 | ||
27 | 'declare-sort'=19 | ||
28 | 'define-fun'=24 | ||
29 | 'distinct'=39 | ||
30 | 'div'=48 | ||
31 | 'error'=63 | ||
32 | 'exists'=27 | ||
33 | 'fail-if'=61 | ||
34 | 'false'=26 | ||
35 | 'forall'=30 | ||
36 | 'get-model'=53 | ||
37 | 'if'=59 | ||
38 | 'iff'=35 | ||
39 | 'ite'=36 | ||
40 | 'let'=37 | ||
41 | 'mod'=49 | ||
42 | 'model'=69 | ||
43 | 'not'=34 | ||
44 | 'or'=32 | ||
45 | 'or-else'=55 | ||
46 | 'par-or'=56 | ||
47 | 'par-then'=57 | ||
48 | 'sat'=66 | ||
49 | 'set-option'=16 | ||
50 | 'timeout'=14 | ||
51 | 'true'=25 | ||
52 | 'try-for'=58 | ||
53 | 'unknown'=68 | ||
54 | 'unsat'=67 | ||
55 | 'unsupported'=64 | ||
56 | 'using-params'=62 | ||
57 | 'when'=60 | ||
58 | RULE_ANY_OTHER=12 | ||
59 | RULE_ID=4 | ||
60 | RULE_INT=6 | ||
61 | RULE_ML_COMMENT=10 | ||
62 | RULE_PROPERTYNAME=5 | ||
63 | RULE_REAL=7 | ||
64 | RULE_SL_COMMENT=9 | ||
65 | RULE_STRING=8 | ||
66 | RULE_WS=11 | ||
67 | T__13=13 | ||
68 | T__14=14 | ||
69 | T__15=15 | ||
70 | T__16=16 | ||
71 | T__17=17 | ||
72 | T__18=18 | ||
73 | T__19=19 | ||
74 | T__20=20 | ||
75 | T__21=21 | ||
76 | T__22=22 | ||
77 | T__23=23 | ||
78 | T__24=24 | ||
79 | T__25=25 | ||
80 | T__26=26 | ||
81 | T__27=27 | ||
82 | T__28=28 | ||
83 | T__29=29 | ||
84 | T__30=30 | ||
85 | T__31=31 | ||
86 | T__32=32 | ||
87 | T__33=33 | ||
88 | T__34=34 | ||
89 | T__35=35 | ||
90 | T__36=36 | ||
91 | T__37=37 | ||
92 | T__38=38 | ||
93 | T__39=39 | ||
94 | T__40=40 | ||
95 | T__41=41 | ||
96 | T__42=42 | ||
97 | T__43=43 | ||
98 | T__44=44 | ||
99 | T__45=45 | ||
100 | T__46=46 | ||
101 | T__47=47 | ||
102 | T__48=48 | ||
103 | T__49=49 | ||
104 | T__50=50 | ||
105 | T__51=51 | ||
106 | T__52=52 | ||
107 | T__53=53 | ||
108 | T__54=54 | ||
109 | T__55=55 | ||
110 | T__56=56 | ||
111 | T__57=57 | ||
112 | T__58=58 | ||
113 | T__59=59 | ||
114 | T__60=60 | ||
115 | T__61=61 | ||
116 | T__62=62 | ||
117 | T__63=63 | ||
118 | T__64=64 | ||
119 | T__65=65 | ||
120 | T__66=66 | ||
121 | T__67=67 | ||
122 | T__68=68 | ||
123 | T__69=69 | ||