1 files changed, 72 insertions, 67 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageParser.tokens b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageParser.tokens
index 736b2f0a..591c0e60 100644
--- a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageParser.tokens
+++ b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageParser.tokens
@@ -1,70 +1,75 @@
-'!'=43
+'!'=46
-'!='=32
+'!='=34
-'('=44
+'('=47
-')'=45
+')'=48
-'*'=46
+'*'=49
-'+'=47
+'+'=50
-','=48
+','=51
-'-'=49
+'-'=52
-'->'=33
+'->'=35
-'.'=50
+'.'=53
-'..'=34
+'...'=31
-'...'=28
+'/'=54
-'/'=51
+':'=55
-':'=52
+':-'=36
-':-'=35
+'::'=37
-';'=53
+':='=38
-'<'=54
+';'=56
-'<='=36
+'<'=57
-'='=55
+'<='=39
-'=='=37
+'='=58
-'=>'=38
+'=='=40
-'>'=56
+'=>'=41
-'>='=39
+'>'=59
-'['=57
+'>='=42
-']'=58
+'?'=60
-'^'=59
+'['=61
-'abstract'=5
+']'=62
-'as'=40
+'^'=63
-'class'=18
+'abstract'=6
-'contains'=6
+'as'=43
-'count'=19
+'class'=20
-'current'=11
+'containment'=4
-'datatype'=7
+'contains'=7
+'count'=21
+'datatype'=8
 'default'=12
-'else'=24
+'else'=26
-'empty'=20
+'empty'=22
-'error'=21
+'enum'=27
-'exists'=15
+'error'=23
 'extends'=13
 'extern'=16
-'false'=22
+'false'=24
-'forall'=17
+'functional'=5
-'functional'=4
+'if'=44
-'if'=41
+'import'=17
-'in'=42
+'in'=45
-'inf'=29
+'inf'=32
-'let'=30
+'let'=33
-'maximize'=8
+'maximize'=9
-'may'=31
+'minimize'=10
-'minimize'=9
+'object'=18
-'must'=25
+'opposite'=11
-'opposite'=10
+'problem'=14
-'scope'=23
+'refers'=19
-'then'=26
+'root'=28
-'true'=27
+'scope'=25
-'unknown'=14
+'then'=29
-'{'=60
+'true'=30
-'|'=61
+'unknown'=15
-'}'=62
+'{'=64
-RULE_ANY_OTHER=73
+'|'=65
-RULE_FULL_STOP=68
+'}'=66
-RULE_ID=69
+'~'=67
-RULE_INT=70
+RULE_ANY_OTHER=78
-RULE_ML_COMMENT=71
+RULE_FULL_STOP=73
-RULE_QUOTED_ID=64
+RULE_ID=74
-RULE_REFLEXIVE_TRANSITIVE_CLOSURE=67
+RULE_INT=75
-RULE_SL_COMMENT=65
+RULE_ML_COMMENT=76
-RULE_STRING=63
+RULE_QUOTED_ID=69
-RULE_TRANSITIVE_CLOSURE=66
+RULE_REFLEXIVE_TRANSITIVE_CLOSURE=72
-RULE_WS=72
+RULE_SL_COMMENT=70
+RULE_STRING=68
+RULE_TRANSITIVE_CLOSURE=71
+RULE_WS=77

diff --git a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageParser.tokens b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageParser.tokens index 736b2f0a..591c0e60 100644 --- a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageParser.tokens +++ b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageParser.tokens
@@ -1,70 +1,75 @@
1	'!'=43	1	'!'=46
2	'!='=32	2	'!='=34
3	'('=44	3	'('=47
4	')'=45	4	')'=48
5	'*'=46	5	'*'=49
6	'+'=47	6	'+'=50
7	','=48	7	','=51
8	'-'=49	8	'-'=52
9	'->'=33	9	'->'=35
10	'.'=50	10	'.'=53
11	'..'=34	11	'...'=31
12	'...'=28	12	'/'=54
13	'/'=51	13	':'=55
14	':'=52	14	':-'=36
15	':-'=35	15	'::'=37
16	';'=53	16	':='=38
17	'<'=54	17	';'=56
18	'<='=36	18	'<'=57
19	'='=55	19	'<='=39
20	'=='=37	20	'='=58
21	'=>'=38	21	'=='=40
22	'>'=56	22	'=>'=41
23	'>='=39	23	'>'=59
24	'['=57	24	'>='=42
25	']'=58	25	'?'=60
26	'^'=59	26	'['=61
27	'abstract'=5	27	']'=62
28	'as'=40	28	'^'=63
29	'class'=18	29	'abstract'=6
30	'contains'=6	30	'as'=43
31	'count'=19	31	'class'=20
32	'current'=11	32	'containment'=4
33	'datatype'=7	33	'contains'=7
		34	'count'=21
		35	'datatype'=8
34	'default'=12	36	'default'=12
35	'else'=24	37	'else'=26
36	'empty'=20	38	'empty'=22
37	'error'=21	39	'enum'=27
38	'exists'=15	40	'error'=23
39	'extends'=13	41	'extends'=13
40	'extern'=16	42	'extern'=16
41	'false'=22	43	'false'=24
42	'forall'=17	44	'functional'=5
43	'functional'=4	45	'if'=44
44	'if'=41	46	'import'=17
45	'in'=42	47	'in'=45
46	'inf'=29	48	'inf'=32
47	'let'=30	49	'let'=33
48	'maximize'=8	50	'maximize'=9
49	'may'=31	51	'minimize'=10
50	'minimize'=9	52	'object'=18
51	'must'=25	53	'opposite'=11
52	'opposite'=10	54	'problem'=14
53	'scope'=23	55	'refers'=19
54	'then'=26	56	'root'=28
55	'true'=27	57	'scope'=25
56	'unknown'=14	58	'then'=29
57	'{'=60	59	'true'=30
58	'\|'=61	60	'unknown'=15
59	'}'=62	61	'{'=64
60	RULE_ANY_OTHER=73	62	'\|'=65
61	RULE_FULL_STOP=68	63	'}'=66
62	RULE_ID=69	64	'~'=67
63	RULE_INT=70	65	RULE_ANY_OTHER=78
64	RULE_ML_COMMENT=71	66	RULE_FULL_STOP=73
65	RULE_QUOTED_ID=64	67	RULE_ID=74
66	RULE_REFLEXIVE_TRANSITIVE_CLOSURE=67	68	RULE_INT=75
67	RULE_SL_COMMENT=65	69	RULE_ML_COMMENT=76
68	RULE_STRING=63	70	RULE_QUOTED_ID=69
69	RULE_TRANSITIVE_CLOSURE=66	71	RULE_REFLEXIVE_TRANSITIVE_CLOSURE=72
70	RULE_WS=72	72	RULE_SL_COMMENT=70
		73	RULE_STRING=68
		74	RULE_TRANSITIVE_CLOSURE=71
		75	RULE_WS=77