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