1 files changed, 40 insertions, 43 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
index a9f3d8e2..d18d6d05 100644
--- 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
@@ -1,48 +1,46 @@
-'!'=26
+'!'=23
-'('=37
+'('=34
-')'=38
+')'=35
-'*'=18
+'*'=19
-'+'=24
+'+'=45
-'+='=47
+'+='=46
-','=13
+','=14
-'-'=23
+'-'=41
-'.'=12
+'.'=13
-'..'=42
+'..'=39
-':'=40
+':'=37
-':-'=39
+':-'=36
-'::'=43
+'::'=40
-';'=14
+';'=15
-'='=17
+'='=18
-'?'=27
+'?'=24
-'E'=22
+'['=31
-'['=34
+']'=32
-']'=35
+'abstract'=42
-'abstract'=44
+'class'=26
-'class'=29
+'contains'=43
-'contains'=45
+'enum'=30
-'e'=21
+'error'=44
-'enum'=33
+'extends'=27
-'error'=46
+'false'=21
-'extends'=30
+'opposite'=33
-'false'=20
+'pred'=17
-'opposite'=36
+'problem'=25
-'pred'=16
+'refers'=16
-'problem'=28
+'scope'=38
-'refers'=15
+'true'=20
-'scope'=41
+'unknown'=22
-'true'=19
+'{'=28
-'unknown'=25
+'}'=29
-'{'=31
+RULE_ANY_OTHER=12
-'}'=32
+RULE_EXPONENTIAL=7
-RULE_ANY_OTHER=11
 RULE_ID=6
 RULE_INT=4
-RULE_ML_COMMENT=9
+RULE_ML_COMMENT=10
 RULE_QUOTED_ID=5
-RULE_SL_COMMENT=8
+RULE_SL_COMMENT=9
-RULE_STRING=7
+RULE_STRING=8
-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-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 index a9f3d8e2..d18d6d05 100644 --- 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
@@ -1,48 +1,46 @@
1	'!'=26	1	'!'=23
2	'('=37	2	'('=34
3	')'=38	3	')'=35
4	'*'=18	4	'*'=19
5	'+'=24	5	'+'=45
6	'+='=47	6	'+='=46
7	','=13	7	','=14
8	'-'=23	8	'-'=41
9	'.'=12	9	'.'=13
10	'..'=42	10	'..'=39
11	':'=40	11	':'=37
12	':-'=39	12	':-'=36
13	'::'=43	13	'::'=40
14	';'=14	14	';'=15
15	'='=17	15	'='=18
16	'?'=27	16	'?'=24
17	'E'=22	17	'['=31
18	'['=34	18	']'=32
19	']'=35	19	'abstract'=42
20	'abstract'=44	20	'class'=26
21	'class'=29	21	'contains'=43
22	'contains'=45	22	'enum'=30
23	'e'=21	23	'error'=44
24	'enum'=33	24	'extends'=27
25	'error'=46	25	'false'=21
26	'extends'=30	26	'opposite'=33
27	'false'=20	27	'pred'=17
28	'opposite'=36	28	'problem'=25
29	'pred'=16	29	'refers'=16
30	'problem'=28	30	'scope'=38
31	'refers'=15	31	'true'=20
32	'scope'=41	32	'unknown'=22
33	'true'=19	33	'{'=28
34	'unknown'=25	34	'}'=29
35	'{'=31	35	RULE_ANY_OTHER=12
36	'}'=32	36	RULE_EXPONENTIAL=7
37	RULE_ANY_OTHER=11
38	RULE_ID=6	37	RULE_ID=6
39	RULE_INT=4	38	RULE_INT=4
40	RULE_ML_COMMENT=9	39	RULE_ML_COMMENT=10
41	RULE_QUOTED_ID=5	40	RULE_QUOTED_ID=5
42	RULE_SL_COMMENT=8	41	RULE_SL_COMMENT=9
43	RULE_STRING=7	42	RULE_STRING=8
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