1 files changed, 40 insertions, 35 deletions
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblem.tokens b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblem.tokens
index b3c4a1ea..96f12627 100644
--- a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblem.tokens
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblem.tokens
@@ -1,40 +1,42 @@
-'!'=18
+'!'=20
-'('=27
+'('=32
-')'=28
+')'=33
-'*'=14
+'*'=16
-'+'=38
+'+'=41
-'+='=39
+'+='=42
 ','=25
-'.'=21
+'.'=12
-'..'=33
+'..'=37
-':'=31
+':'=35
-'::'=34
+':-'=34
-':='=29
+';'=28
-';'=30
+'='=15
-'='=13
+'?'=21
-'?'=19
+'['=29
-'['=23
+']'=30
-']'=24
+'abstract'=38
-'abstract'=35
+'class'=23
-'class'=20
+'contains'=39
-'contains'=36
+'error'=40
-'error'=37
+'extends'=24
-'extends'=22
+'false'=18
-'false'=16
+'opposite'=31
-'opposite'=26
+'pred'=14
-'pred'=12
+'problem'=22
-'refers'=11
+'refers'=13
-'scope'=32
+'scope'=36
-'true'=15
+'true'=17
-'unknown'=17
+'unknown'=19
-RULE_ANY_OTHER=10
+'{'=26
-RULE_ID=5
+'}'=27
+RULE_ANY_OTHER=11
+RULE_ID=6
 RULE_INT=4
-RULE_ML_COMMENT=7
+RULE_ML_COMMENT=8
-RULE_SL_COMMENT=8
+RULE_QUOTED_ID=5
-RULE_STRING=6
+RULE_SL_COMMENT=9
-RULE_WS=9
+RULE_STRING=7
-T__11=11
+RULE_WS=10
 T__12=12
 T__13=13
 T__14=14
@@ -63,3 +65,6 @@ T__36=36
 T__37=37
 T__38=38
 T__39=39
+T__40=40
+T__41=41
+T__42=42

diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblem.tokens b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblem.tokens index b3c4a1ea..96f12627 100644 --- a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblem.tokens +++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblem.tokens
@@ -1,40 +1,42 @@
1	'!'=18	1	'!'=20
2	'('=27	2	'('=32
3	')'=28	3	')'=33
4	'*'=14	4	'*'=16
5	'+'=38	5	'+'=41
6	'+='=39	6	'+='=42
7	','=25	7	','=25
8	'.'=21	8	'.'=12
9	'..'=33	9	'..'=37
10	':'=31	10	':'=35
11	'::'=34	11	':-'=34
12	':='=29	12	';'=28
13	';'=30	13	'='=15
14	'='=13	14	'?'=21
15	'?'=19	15	'['=29
16	'['=23	16	']'=30
17	']'=24	17	'abstract'=38
18	'abstract'=35	18	'class'=23
19	'class'=20	19	'contains'=39
20	'contains'=36	20	'error'=40
21	'error'=37	21	'extends'=24
22	'extends'=22	22	'false'=18
23	'false'=16	23	'opposite'=31
24	'opposite'=26	24	'pred'=14
25	'pred'=12	25	'problem'=22
26	'refers'=11	26	'refers'=13
27	'scope'=32	27	'scope'=36
28	'true'=15	28	'true'=17
29	'unknown'=17	29	'unknown'=19
30	RULE_ANY_OTHER=10	30	'{'=26
31	RULE_ID=5	31	'}'=27
		32	RULE_ANY_OTHER=11
		33	RULE_ID=6
32	RULE_INT=4	34	RULE_INT=4
33	RULE_ML_COMMENT=7	35	RULE_ML_COMMENT=8
34	RULE_SL_COMMENT=8	36	RULE_QUOTED_ID=5
35	RULE_STRING=6	37	RULE_SL_COMMENT=9
36	RULE_WS=9	38	RULE_STRING=7
37	T__11=11	39	RULE_WS=10
38	T__12=12	40	T__12=12
39	T__13=13	41	T__13=13
40	T__14=14	42	T__14=14
@@ -63,3 +65,6 @@ T__36=36
63	T__37=37	65	T__37=37
64	T__38=38	66	T__38=38
65	T__39=39	67	T__39=39
		68	T__40=40
		69	T__41=41
		70	T__42=42