diff options
Diffstat (limited to 'Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalSmtLanguage.tokens')
| -rw-r--r-- | Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/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.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalSmtLanguage.tokens b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalSmtLanguage.tokens new file mode 100644 index 00000000..dd7663fa --- /dev/null +++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalSmtLanguage.tokens | |||
| @@ -0,0 +1,123 @@ | |||
| 1 | '!'=16 | ||
| 2 | '('=19 | ||
| 3 | ')'=21 | ||
| 4 | '*'=47 | ||
| 5 | '+'=45 | ||
| 6 | '-'=46 | ||
| 7 | '--------------'=17 | ||
| 8 | '/'=48 | ||
| 9 | ':pattern'=30 | ||
| 10 | ';'=65 | ||
| 11 | '<'=41 | ||
| 12 | '<='=43 | ||
| 13 | '='=39 | ||
| 14 | '=>'=34 | ||
| 15 | '>'=42 | ||
| 16 | '>='=44 | ||
| 17 | 'Bool'=25 | ||
| 18 | 'Int'=24 | ||
| 19 | 'Real'=26 | ||
| 20 | 'and'=32 | ||
| 21 | 'and-then'=55 | ||
| 22 | 'assert'=51 | ||
| 23 | 'check-sat'=52 | ||
| 24 | 'check-sat-using'=53 | ||
| 25 | 'declare-datatypes'=22 | ||
| 26 | 'declare-fun'=27 | ||
| 27 | 'declare-sort'=23 | ||
| 28 | 'define-fun'=28 | ||
| 29 | 'distinct'=40 | ||
| 30 | 'div'=49 | ||
| 31 | 'error'=63 | ||
| 32 | 'exists'=29 | ||
| 33 | 'fail-if'=62 | ||
| 34 | 'false'=14 | ||
| 35 | 'forall'=31 | ||
| 36 | 'get-model'=54 | ||
| 37 | 'if'=60 | ||
| 38 | 'iff'=36 | ||
| 39 | 'ite'=37 | ||
| 40 | 'let'=38 | ||
| 41 | 'mod'=50 | ||
| 42 | 'model'=66 | ||
| 43 | 'not'=35 | ||
| 44 | 'or'=33 | ||
| 45 | 'or-else'=56 | ||
| 46 | 'par-or'=57 | ||
| 47 | 'par-then'=58 | ||
| 48 | 'sat'=67 | ||
| 49 | 'set-option'=20 | ||
| 50 | 'timeout'=18 | ||
| 51 | 'true'=13 | ||
| 52 | 'try-for'=59 | ||
| 53 | 'unknown'=69 | ||
| 54 | 'unsat'=68 | ||
| 55 | 'unsupported'=64 | ||
| 56 | 'using-params'=15 | ||
| 57 | 'when'=61 | ||
| 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 | ||