1 files changed, 30 insertions, 24 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 49838545..a9f3d8e2 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,36 +1,39 @@
-'!'=22
+'!'=26
-'('=33
+'('=37
-')'=34
+')'=38
 '*'=18
-'+'=43
+'+'=24
-'+='=44
+'+='=47
 ','=13
+'-'=23
 '.'=12
-'..'=38
+'..'=42
-':'=36
+':'=40
-':-'=35
+':-'=39
-'::'=39
+'::'=43
 ';'=14
 '='=17
-'?'=23
+'?'=27
-'['=30
+'E'=22
-']'=31
+'['=34
-'abstract'=40
+']'=35
-'class'=25
+'abstract'=44
-'contains'=41
+'class'=29
-'enum'=29
+'contains'=45
-'error'=42
+'e'=21
-'extends'=26
+'enum'=33
+'error'=46
+'extends'=30
 'false'=20
-'opposite'=32
+'opposite'=36
 'pred'=16
-'problem'=24
+'problem'=28
 'refers'=15
-'scope'=37
+'scope'=41
 'true'=19
-'unknown'=21
+'unknown'=25
-'{'=27
+'{'=31
-'}'=28
+'}'=32
 RULE_ANY_OTHER=11
 RULE_ID=6
 RULE_INT=4
@@ -72,3 +75,6 @@ T__41=41
 T__42=42
 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 49838545..a9f3d8e2 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,36 +1,39 @@
1	'!'=22	1	'!'=26
2	'('=33	2	'('=37
3	')'=34	3	')'=38
4	'*'=18	4	'*'=18
5	'+'=43	5	'+'=24
6	'+='=44	6	'+='=47
7	','=13	7	','=13
		8	'-'=23
8	'.'=12	9	'.'=12
9	'..'=38	10	'..'=42
10	':'=36	11	':'=40
11	':-'=35	12	':-'=39
12	'::'=39	13	'::'=43
13	';'=14	14	';'=14
14	'='=17	15	'='=17
15	'?'=23	16	'?'=27
16	'['=30	17	'E'=22
17	']'=31	18	'['=34
18	'abstract'=40	19	']'=35
19	'class'=25	20	'abstract'=44
20	'contains'=41	21	'class'=29
21	'enum'=29	22	'contains'=45
22	'error'=42	23	'e'=21
23	'extends'=26	24	'enum'=33
		25	'error'=46
		26	'extends'=30
24	'false'=20	27	'false'=20
25	'opposite'=32	28	'opposite'=36
26	'pred'=16	29	'pred'=16
27	'problem'=24	30	'problem'=28
28	'refers'=15	31	'refers'=15
29	'scope'=37	32	'scope'=41
30	'true'=19	33	'true'=19
31	'unknown'=21	34	'unknown'=25
32	'{'=27	35	'{'=31
33	'}'=28	36	'}'=32
34	RULE_ANY_OTHER=11	37	RULE_ANY_OTHER=11
35	RULE_ID=6	38	RULE_ID=6
36	RULE_INT=4	39	RULE_INT=4
@@ -72,3 +75,6 @@ T__41=41
72	T__42=42	75	T__42=42
73	T__43=43	76	T__43=43
74	T__44=44	77	T__44=44
		78	T__45=45
		79	T__46=46
		80	T__47=47