diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-14 19:38:40 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-14 19:38:40 -0400 |
commit | 3997c2408f192e22f809cd96faa5bc552530289d (patch) | |
tree | 6d9134700977b29a5d67206c1e3f587d468e34fa /Application/hu.bme.mit.inf.dslreasoner.application.ide/src-gen/hu/bme/mit/inf/dslreasoner/application/ide/contentassist/antlr/internal/InternalApplicationConfiguration.tokens | |
parent | remove Alloy solver copy (diff) | |
download | VIATRA-Generator-Vampire-New.tar.gz VIATRA-Generator-Vampire-New.tar.zst VIATRA-Generator-Vampire-New.zip |
This branch is ready to be merged into masterVampire-New
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application.ide/src-gen/hu/bme/mit/inf/dslreasoner/application/ide/contentassist/antlr/internal/InternalApplicationConfiguration.tokens')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application.ide/src-gen/hu/bme/mit/inf/dslreasoner/application/ide/contentassist/antlr/internal/InternalApplicationConfiguration.tokens | 84 |
1 files changed, 43 insertions, 41 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ide/src-gen/hu/bme/mit/inf/dslreasoner/application/ide/contentassist/antlr/internal/InternalApplicationConfiguration.tokens b/Application/hu.bme.mit.inf.dslreasoner.application.ide/src-gen/hu/bme/mit/inf/dslreasoner/application/ide/contentassist/antlr/internal/InternalApplicationConfiguration.tokens index f7f2179e..0ee7adba 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application.ide/src-gen/hu/bme/mit/inf/dslreasoner/application/ide/contentassist/antlr/internal/InternalApplicationConfiguration.tokens +++ b/Application/hu.bme.mit.inf.dslreasoner.application.ide/src-gen/hu/bme/mit/inf/dslreasoner/application/ide/contentassist/antlr/internal/InternalApplicationConfiguration.tokens | |||
@@ -1,50 +1,51 @@ | |||
1 | '#'=38 | 1 | '#'=39 |
2 | '*'=55 | 2 | '*'=56 |
3 | '+='=54 | 3 | '+='=55 |
4 | ','=26 | 4 | ','=27 |
5 | '-'=18 | 5 | '-'=19 |
6 | '.'=17 | 6 | '.'=18 |
7 | '..'=45 | 7 | '..'=46 |
8 | '::'=29 | 8 | '::'=30 |
9 | '<'=39 | 9 | '<'=40 |
10 | '='=23 | 10 | '='=24 |
11 | '>'=40 | 11 | '>'=41 |
12 | 'AlloySolver'=15 | 12 | 'AlloySolver'=15 |
13 | 'SMTSolver'=14 | 13 | 'SMTSolver'=14 |
14 | 'TPTPSolver'=17 | ||
14 | 'ViatraSolver'=16 | 15 | 'ViatraSolver'=16 |
15 | 'config'=34 | 16 | 'config'=35 |
16 | 'constraints'=33 | 17 | 'constraints'=34 |
17 | 'debug'=50 | 18 | 'debug'=51 |
18 | 'epackage'=20 | 19 | 'epackage'=21 |
19 | 'excluding'=28 | 20 | 'excluding'=29 |
20 | 'file'=22 | 21 | 'file'=23 |
21 | 'folder'=31 | 22 | 'folder'=32 |
22 | 'full'=13 | 23 | 'full'=13 |
23 | 'generate'=47 | 24 | 'generate'=48 |
24 | 'import'=19 | 25 | 'import'=20 |
25 | 'int'=42 | 26 | 'int'=43 |
26 | 'log'=51 | 27 | 'log'=52 |
27 | 'log-level'=35 | 28 | 'log-level'=36 |
28 | 'memory'=37 | 29 | 'memory'=38 |
29 | 'metamodel'=30 | 30 | 'metamodel'=31 |
30 | 'models'=32 | 31 | 'models'=33 |
31 | 'node'=41 | 32 | 'node'=42 |
32 | 'none'=11 | 33 | 'none'=11 |
33 | 'normal'=12 | 34 | 'normal'=12 |
34 | 'number'=56 | 35 | 'number'=57 |
35 | 'output'=53 | 36 | 'output'=54 |
36 | 'package'=27 | 37 | 'package'=28 |
37 | 'partial-model'=48 | 38 | 'partial-model'=49 |
38 | 'real'=43 | 39 | 'real'=44 |
39 | 'runs'=57 | 40 | 'runs'=58 |
40 | 'runtime'=36 | 41 | 'runtime'=37 |
41 | 'scope'=46 | 42 | 'scope'=47 |
42 | 'solver'=49 | 43 | 'solver'=50 |
43 | 'statistics'=52 | 44 | 'statistics'=53 |
44 | 'string'=44 | 45 | 'string'=45 |
45 | 'viatra'=21 | 46 | 'viatra'=22 |
46 | '{'=24 | 47 | '{'=25 |
47 | '}'=25 | 48 | '}'=26 |
48 | RULE_ANY_OTHER=10 | 49 | RULE_ANY_OTHER=10 |
49 | RULE_ID=4 | 50 | RULE_ID=4 |
50 | RULE_INT=5 | 51 | RULE_INT=5 |
@@ -99,3 +100,4 @@ T__54=54 | |||
99 | T__55=55 | 100 | T__55=55 |
100 | T__56=56 | 101 | T__56=56 |
101 | T__57=57 | 102 | T__57=57 |
103 | T__58=58 | ||