1 files changed, 103 insertions, 41 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguage.tokens b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguage.tokens
index 938a5322..f5b014ff 100644
--- a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguage.tokens
+++ b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguage.tokens
@@ -1,45 +1,74 @@
-'('=18
+'!'=29
-')'=19
+'!='=20
-'*'=31
+'('=61
-'+'=30
+')'=62
-','=20
+'*'=16
-'-'=13
+'+'=26
-'.'=14
+','=56
-'..'=39
+'-'=27
-':'=17
+'->'=55
-':-'=28
+'.'=50
-'\''=27
+'..'=64
-'abstract'=40
+'/'=28
-'bool'=23
+':'=45
-'class'=33
+':-'=46
-'containment'=41
+';'=54
-'default'=32
+'<'=21
-'enum'=37
+'<='=22
-'equals'=22
+'='=47
-'error'=16
+'=='=19
-'exists'=21
+'>'=23
-'extends'=36
+'>='=24
-'false'=11
+'['=63
-'int'=24
+']'=65
-'real'=25
+'^'=15
-'relation'=38
+'abstract'=73
-'string'=26
+'avg'=36
-'true'=12
+'class'=68
-'unknown'=15
+'contains'=74
-'{'=34
+'count'=57
-'|'=29
+'current'=32
-'}'=35
+'default'=48
-RULE_ANY_OTHER=10
+'else'=53
-RULE_ID=5
+'empty'=67
+'error'=42
+'extends'=69
+'extern'=49
+'false'=40
+'functional'=72
+'if'=51
+'in'=25
+'inf'=66
+'int'=17
+'max'=38
+'maximize'=44
+'may'=30
+'min'=37
+'minimize'=43
+'must'=31
+'only'=33
+'opposite'=70
+'prod'=35
+'real'=18
+'scope'=71
+'sum'=34
+'then'=52
+'true'=39
+'unknown'=41
+'{'=58
+'|'=60
+'}'=59
+RULE_ANY_OTHER=14
+RULE_DOT=6
+RULE_ID=7
 RULE_INT=4
-RULE_ML_COMMENT=7
+RULE_ML_COMMENT=11
-RULE_SL_COMMENT=8
+RULE_PLUS=9
-RULE_STRING=6
+RULE_QUOTED_ID=5
-RULE_WS=9
+RULE_SL_COMMENT=12
-T__11=11
+RULE_STAR=8
-T__12=12
+RULE_STRING=10
-T__13=13
+RULE_WS=13
-T__14=14
 T__15=15
 T__16=16
 T__17=17
@@ -67,3 +96,36 @@ T__38=38
 T__39=39
 T__40=40
 T__41=41
+T__42=42
+T__43=43
+T__44=44
+T__45=45
+T__46=46
+T__47=47
+T__48=48
+T__49=49
+T__50=50
+T__51=51
+T__52=52
+T__53=53
+T__54=54
+T__55=55
+T__56=56
+T__57=57
+T__58=58
+T__59=59
+T__60=60
+T__61=61
+T__62=62
+T__63=63
+T__64=64
+T__65=65
+T__66=66
+T__67=67
+T__68=68
+T__69=69
+T__70=70
+T__71=71
+T__72=72
+T__73=73
+T__74=74

diff --git a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguage.tokens b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguage.tokens index 938a5322..f5b014ff 100644 --- a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguage.tokens +++ b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguage.tokens
@@ -1,45 +1,74 @@
1	'('=18	1	'!'=29
2	')'=19	2	'!='=20
3	'*'=31	3	'('=61
4	'+'=30	4	')'=62
5	','=20	5	'*'=16
6	'-'=13	6	'+'=26
7	'.'=14	7	','=56
8	'..'=39	8	'-'=27
9	':'=17	9	'->'=55
10	':-'=28	10	'.'=50
11	'\''=27	11	'..'=64
12	'abstract'=40	12	'/'=28
13	'bool'=23	13	':'=45
14	'class'=33	14	':-'=46
15	'containment'=41	15	';'=54
16	'default'=32	16	'<'=21
17	'enum'=37	17	'<='=22
18	'equals'=22	18	'='=47
19	'error'=16	19	'=='=19
20	'exists'=21	20	'>'=23
21	'extends'=36	21	'>='=24
22	'false'=11	22	'['=63
23	'int'=24	23	']'=65
24	'real'=25	24	'^'=15
25	'relation'=38	25	'abstract'=73
26	'string'=26	26	'avg'=36
27	'true'=12	27	'class'=68
28	'unknown'=15	28	'contains'=74
29	'{'=34	29	'count'=57
30	'\|'=29	30	'current'=32
31	'}'=35	31	'default'=48
32	RULE_ANY_OTHER=10	32	'else'=53
33	RULE_ID=5	33	'empty'=67
		34	'error'=42
		35	'extends'=69
		36	'extern'=49
		37	'false'=40
		38	'functional'=72
		39	'if'=51
		40	'in'=25
		41	'inf'=66
		42	'int'=17
		43	'max'=38
		44	'maximize'=44
		45	'may'=30
		46	'min'=37
		47	'minimize'=43
		48	'must'=31
		49	'only'=33
		50	'opposite'=70
		51	'prod'=35
		52	'real'=18
		53	'scope'=71
		54	'sum'=34
		55	'then'=52
		56	'true'=39
		57	'unknown'=41
		58	'{'=58
		59	'\|'=60
		60	'}'=59
		61	RULE_ANY_OTHER=14
		62	RULE_DOT=6
		63	RULE_ID=7
34	RULE_INT=4	64	RULE_INT=4
35	RULE_ML_COMMENT=7	65	RULE_ML_COMMENT=11
36	RULE_SL_COMMENT=8	66	RULE_PLUS=9
37	RULE_STRING=6	67	RULE_QUOTED_ID=5
38	RULE_WS=9	68	RULE_SL_COMMENT=12
39	T__11=11	69	RULE_STAR=8
40	T__12=12	70	RULE_STRING=10
41	T__13=13	71	RULE_WS=13
42	T__14=14
43	T__15=15	72	T__15=15
44	T__16=16	73	T__16=16
45	T__17=17	74	T__17=17
@@ -67,3 +96,36 @@ T__38=38
67	T__39=39	96	T__39=39
68	T__40=40	97	T__40=40
69	T__41=41	98	T__41=41
		99	T__42=42
		100	T__43=43
		101	T__44=44
		102	T__45=45
		103	T__46=46
		104	T__47=47
		105	T__48=48
		106	T__49=49
		107	T__50=50
		108	T__51=51
		109	T__52=52
		110	T__53=53
		111	T__54=54
		112	T__55=55
		113	T__56=56
		114	T__57=57
		115	T__58=58
		116	T__59=59
		117	T__60=60
		118	T__61=61
		119	T__62=62
		120	T__63=63
		121	T__64=64
		122	T__65=65
		123	T__66=66
		124	T__67=67
		125	T__68=68
		126	T__69=69
		127	T__70=70
		128	T__71=71
		129	T__72=72
		130	T__73=73
		131	T__74=74