diff options
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.tokens')
| -rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.tokens | 34 |
1 files changed, 18 insertions, 16 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.tokens b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.tokens index 49d2a448..94ce3ecb 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.tokens +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.tokens | |||
| @@ -3,8 +3,8 @@ | |||
| 3 | '#'=54 | 3 | '#'=54 |
| 4 | '&&'=34 | 4 | '&&'=34 |
| 5 | '&'=47 | 5 | '&'=47 |
| 6 | '('=60 | 6 | '('=61 |
| 7 | ')'=61 | 7 | ')'=62 |
| 8 | '*'=53 | 8 | '*'=53 |
| 9 | '+'=19 | 9 | '+'=19 |
| 10 | '++'=42 | 10 | '++'=42 |
| @@ -23,40 +23,41 @@ | |||
| 23 | '>'=38 | 23 | '>'=38 |
| 24 | '>='=39 | 24 | '>='=39 |
| 25 | 'Int'=59 | 25 | 'Int'=59 |
| 26 | 'String'=60 | ||
| 26 | '['=22 | 27 | '['=22 |
| 27 | ']'=23 | 28 | ']'=23 |
| 28 | '^'=52 | 29 | '^'=52 |
| 29 | 'abstract'=15 | 30 | 'abstract'=15 |
| 30 | 'all'=65 | 31 | 'all'=66 |
| 31 | 'and'=35 | 32 | 'and'=35 |
| 32 | 'disj'=26 | 33 | 'disj'=26 |
| 33 | 'div'=75 | 34 | 'div'=76 |
| 34 | 'else'=33 | 35 | 'else'=33 |
| 35 | 'enum'=11 | 36 | 'enum'=11 |
| 36 | 'exactly'=64 | 37 | 'exactly'=65 |
| 37 | 'extends'=17 | 38 | 'extends'=17 |
| 38 | 'fact'=25 | 39 | 'fact'=25 |
| 39 | 'for'=63 | 40 | 'for'=64 |
| 40 | 'fun'=21 | 41 | 'fun'=21 |
| 41 | 'iden'=57 | 42 | 'iden'=57 |
| 42 | 'iff'=30 | 43 | 'iff'=30 |
| 43 | 'implies'=32 | 44 | 'implies'=32 |
| 44 | 'in'=18 | 45 | 'in'=18 |
| 45 | 'lone'=68 | 46 | 'lone'=69 |
| 46 | 'mul'=73 | 47 | 'mul'=74 |
| 47 | 'no'=66 | 48 | 'no'=67 |
| 48 | 'none'=56 | 49 | 'none'=56 |
| 49 | 'not'=50 | 50 | 'not'=50 |
| 50 | 'one'=69 | 51 | 'one'=70 |
| 51 | 'or'=28 | 52 | 'or'=28 |
| 52 | 'plus'=71 | 53 | 'plus'=72 |
| 53 | 'pred'=24 | 54 | 'pred'=24 |
| 54 | 'rem'=74 | 55 | 'rem'=75 |
| 55 | 'run'=62 | 56 | 'run'=63 |
| 56 | 'set'=70 | 57 | 'set'=71 |
| 57 | 'sig'=16 | 58 | 'sig'=16 |
| 58 | 'some'=67 | 59 | 'some'=68 |
| 59 | 'sub'=72 | 60 | 'sub'=73 |
| 60 | 'sum'=55 | 61 | 'sum'=55 |
| 61 | 'univ'=58 | 62 | 'univ'=58 |
| 62 | '{'=12 | 63 | '{'=12 |
| @@ -135,3 +136,4 @@ T__72=72 | |||
| 135 | T__73=73 | 136 | T__73=73 |
| 136 | T__74=74 | 137 | T__74=74 |
| 137 | T__75=75 | 138 | T__75=75 |
| 139 | T__76=76 | ||