diff options
Diffstat (limited to 'language-ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblem.tokens')
-rw-r--r-- | language-ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblem.tokens | 77 |
1 files changed, 0 insertions, 77 deletions
diff --git a/language-ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblem.tokens b/language-ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblem.tokens deleted file mode 100644 index d18d6d05..00000000 --- a/language-ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblem.tokens +++ /dev/null | |||
@@ -1,77 +0,0 @@ | |||
1 | '!'=23 | ||
2 | '('=34 | ||
3 | ')'=35 | ||
4 | '*'=19 | ||
5 | '+'=45 | ||
6 | '+='=46 | ||
7 | ','=14 | ||
8 | '-'=41 | ||
9 | '.'=13 | ||
10 | '..'=39 | ||
11 | ':'=37 | ||
12 | ':-'=36 | ||
13 | '::'=40 | ||
14 | ';'=15 | ||
15 | '='=18 | ||
16 | '?'=24 | ||
17 | '['=31 | ||
18 | ']'=32 | ||
19 | 'abstract'=42 | ||
20 | 'class'=26 | ||
21 | 'contains'=43 | ||
22 | 'enum'=30 | ||
23 | 'error'=44 | ||
24 | 'extends'=27 | ||
25 | 'false'=21 | ||
26 | 'opposite'=33 | ||
27 | 'pred'=17 | ||
28 | 'problem'=25 | ||
29 | 'refers'=16 | ||
30 | 'scope'=38 | ||
31 | 'true'=20 | ||
32 | 'unknown'=22 | ||
33 | '{'=28 | ||
34 | '}'=29 | ||
35 | RULE_ANY_OTHER=12 | ||
36 | RULE_EXPONENTIAL=7 | ||
37 | RULE_ID=6 | ||
38 | RULE_INT=4 | ||
39 | RULE_ML_COMMENT=10 | ||
40 | RULE_QUOTED_ID=5 | ||
41 | RULE_SL_COMMENT=9 | ||
42 | RULE_STRING=8 | ||
43 | RULE_WS=11 | ||
44 | T__13=13 | ||
45 | T__14=14 | ||
46 | T__15=15 | ||
47 | T__16=16 | ||
48 | T__17=17 | ||
49 | T__18=18 | ||
50 | T__19=19 | ||
51 | T__20=20 | ||
52 | T__21=21 | ||
53 | T__22=22 | ||
54 | T__23=23 | ||
55 | T__24=24 | ||
56 | T__25=25 | ||
57 | T__26=26 | ||
58 | T__27=27 | ||
59 | T__28=28 | ||
60 | T__29=29 | ||
61 | T__30=30 | ||
62 | T__31=31 | ||
63 | T__32=32 | ||
64 | T__33=33 | ||
65 | T__34=34 | ||
66 | T__35=35 | ||
67 | T__36=36 | ||
68 | T__37=37 | ||
69 | T__38=38 | ||
70 | T__39=39 | ||
71 | T__40=40 | ||
72 | T__41=41 | ||
73 | T__42=42 | ||
74 | T__43=43 | ||
75 | T__44=44 | ||
76 | T__45=45 | ||
77 | T__46=46 | ||