1 files changed, 39 insertions, 42 deletions
diff --git a/language/src/main/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.tokens b/language/src/main/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.tokens
index 763a9cc8..7ceb60d6 100644
--- a/language/src/main/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.tokens
+++ b/language/src/main/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.tokens
@@ -1,48 +1,46 @@
-'!'=32
+'!'=33
-'('=29
+'('=30
-')'=30
+')'=31
-'*'=39
+'*'=40
-'+'=33
+'+'=34
-'+='=36
+'+='=37
-','=17
+','=18
-'-'=45
+'-'=44
-'.'=13
+'.'=14
-'..'=38
+'..'=39
-':'=34
+':'=35
-':-'=31
+':-'=32
-'::'=40
+'::'=41
-';'=19
+';'=20
-'='=37
+'='=38
-'?'=47
+'?'=46
-'E'=44
+'['=25
-'['=24
+']'=26
-']'=25
+'abstract'=15
-'abstract'=14
+'class'=16
-'class'=15
+'contains'=23
-'contains'=22
+'enum'=22
-'e'=43
+'error'=28
-'enum'=21
+'extends'=17
-'error'=27
+'false'=43
-'extends'=16
+'opposite'=27
-'false'=42
+'pred'=29
-'opposite'=26
+'problem'=13
-'pred'=28
+'refers'=24
-'problem'=12
+'scope'=36
-'refers'=23
+'true'=42
-'scope'=35
+'unknown'=45
-'true'=41
+'{'=19
-'unknown'=46
+'}'=21
-'{'=18
+RULE_ANY_OTHER=12
-'}'=20
+RULE_EXPONENTIAL=8
-RULE_ANY_OTHER=11
 RULE_ID=5
 RULE_INT=6
-RULE_ML_COMMENT=9
+RULE_ML_COMMENT=10
 RULE_QUOTED_ID=7
-RULE_SL_COMMENT=8
+RULE_SL_COMMENT=9
 RULE_STRING=4
-RULE_WS=10
+RULE_WS=11
-T__12=12
 T__13=13
 T__14=14
 T__15=15
@@ -77,4 +75,3 @@ T__43=43
 T__44=44
 T__45=45
 T__46=46
-T__47=47

diff --git a/language/src/main/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.tokens b/language/src/main/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.tokens index 763a9cc8..7ceb60d6 100644 --- a/language/src/main/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.tokens +++ b/language/src/main/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.tokens
@@ -1,48 +1,46 @@
1	'!'=32	1	'!'=33
2	'('=29	2	'('=30
3	')'=30	3	')'=31
4	'*'=39	4	'*'=40
5	'+'=33	5	'+'=34
6	'+='=36	6	'+='=37
7	','=17	7	','=18
8	'-'=45	8	'-'=44
9	'.'=13	9	'.'=14
10	'..'=38	10	'..'=39
11	':'=34	11	':'=35
12	':-'=31	12	':-'=32
13	'::'=40	13	'::'=41
14	';'=19	14	';'=20
15	'='=37	15	'='=38
16	'?'=47	16	'?'=46
17	'E'=44	17	'['=25
18	'['=24	18	']'=26
19	']'=25	19	'abstract'=15
20	'abstract'=14	20	'class'=16
21	'class'=15	21	'contains'=23
22	'contains'=22	22	'enum'=22
23	'e'=43	23	'error'=28
24	'enum'=21	24	'extends'=17
25	'error'=27	25	'false'=43
26	'extends'=16	26	'opposite'=27
27	'false'=42	27	'pred'=29
28	'opposite'=26	28	'problem'=13
29	'pred'=28	29	'refers'=24
30	'problem'=12	30	'scope'=36
31	'refers'=23	31	'true'=42
32	'scope'=35	32	'unknown'=45
33	'true'=41	33	'{'=19
34	'unknown'=46	34	'}'=21
35	'{'=18	35	RULE_ANY_OTHER=12
36	'}'=20	36	RULE_EXPONENTIAL=8
37	RULE_ANY_OTHER=11
38	RULE_ID=5	37	RULE_ID=5
39	RULE_INT=6	38	RULE_INT=6
40	RULE_ML_COMMENT=9	39	RULE_ML_COMMENT=10
41	RULE_QUOTED_ID=7	40	RULE_QUOTED_ID=7
42	RULE_SL_COMMENT=8	41	RULE_SL_COMMENT=9
43	RULE_STRING=4	42	RULE_STRING=4
44	RULE_WS=10	43	RULE_WS=11
45	T__12=12
46	T__13=13	44	T__13=13
47	T__14=14	45	T__14=14
48	T__15=15	46	T__15=15
@@ -77,4 +75,3 @@ T__43=43
77	T__44=44	75	T__44=44
78	T__45=45	76	T__45=45
79	T__46=46	77	T__46=46
80	T__47=47