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 | ||