1 files changed, 67 insertions, 80 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageParser.tokens b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageParser.tokens
index 81343db5..736b2f0a 100644
--- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageParser.tokens
+++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageParser.tokens
@@ -1,83 +1,70 @@
-'!'=56
+'!'=43
-'!='=45
+'!='=32
-'('=57
+'('=44
-')'=58
+')'=45
-'*'=59
+'*'=46
-'+'=60
+'+'=47
-','=61
+','=48
-'-'=62
+'-'=49
-'->'=46
+'->'=33
-'.'=63
+'.'=50
-'..'=47
+'..'=34
-'/'=64
+'...'=28
-':'=65
+'/'=51
-':-'=48
+':'=52
-';'=66
+':-'=35
-'<'=67
+';'=53
-'<='=49
+'<'=54
-'='=68
+'<='=36
-'=='=50
+'='=55
-'>'=69
+'=='=37
-'>='=51
+'=>'=38
-'ADD'=33
+'>'=56
-'DIV'=34
+'>='=39
-'EQ'=52
+'['=57
-'GREATER'=11
+']'=58
-'GREATER_EQ'=4
+'^'=59
-'IN'=53
+'abstract'=5
-'LESS'=25
+'as'=40
-'LESS_EQ'=12
+'class'=18
-'MUL'=35
+'contains'=6
-'NOT_EQ'=17
+'count'=19
-'POW'=36
+'current'=11
-'SUB'=37
+'datatype'=7
-'['=70
+'default'=12
-']'=71
+'else'=24
-'^'=72
+'empty'=20
-'abstract'=6
+'error'=21
-'avg'=38
+'exists'=15
-'class'=19
+'extends'=13
-'contains'=7
+'extern'=16
-'count'=20
+'false'=22
-'current'=13
+'forall'=17
-'default'=14
+'functional'=4
-'else'=26
+'if'=41
-'empty'=21
+'in'=42
-'error'=22
+'inf'=29
-'extends'=15
+'let'=30
-'extern'=18
-'false'=23
-'functional'=5
-'if'=54
-'in'=55
-'inf'=39
-'int'=40
-'max'=41
 'maximize'=8
-'may'=42
+'may'=31
-'min'=43
 'minimize'=9
-'must'=27
+'must'=25
-'only'=28
 'opposite'=10
-'prod'=29
+'scope'=23
-'real'=30
+'then'=26
-'scope'=24
+'true'=27
-'sum'=44
+'unknown'=14
-'then'=31
+'{'=60
-'true'=32
+'|'=61
-'unknown'=16
+'}'=62
-'{'=73
+RULE_ANY_OTHER=73
-'|'=74
+RULE_FULL_STOP=68
-'}'=75
+RULE_ID=69
-RULE_ANY_OTHER=86
+RULE_INT=70
-RULE_FULL_STOP=81
+RULE_ML_COMMENT=71
-RULE_ID=82
+RULE_QUOTED_ID=64
-RULE_INT=83
+RULE_REFLEXIVE_TRANSITIVE_CLOSURE=67
-RULE_ML_COMMENT=84
+RULE_SL_COMMENT=65
-RULE_QUOTED_ID=77
+RULE_STRING=63
-RULE_REFLEXIVE_TRANSITIVE_CLOSURE=80
+RULE_TRANSITIVE_CLOSURE=66
-RULE_SL_COMMENT=78
+RULE_WS=72
-RULE_STRING=76
-RULE_TRANSITIVE_CLOSURE=79
-RULE_WS=85

diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageParser.tokens b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageParser.tokens index 81343db5..736b2f0a 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageParser.tokens +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageParser.tokens
@@ -1,83 +1,70 @@
1	'!'=56	1	'!'=43
2	'!='=45	2	'!='=32
3	'('=57	3	'('=44
4	')'=58	4	')'=45
5	'*'=59	5	'*'=46
6	'+'=60	6	'+'=47
7	','=61	7	','=48
8	'-'=62	8	'-'=49
9	'->'=46	9	'->'=33
10	'.'=63	10	'.'=50
11	'..'=47	11	'..'=34
12	'/'=64	12	'...'=28
13	':'=65	13	'/'=51
14	':-'=48	14	':'=52
15	';'=66	15	':-'=35
16	'<'=67	16	';'=53
17	'<='=49	17	'<'=54
18	'='=68	18	'<='=36
19	'=='=50	19	'='=55
20	'>'=69	20	'=='=37
21	'>='=51	21	'=>'=38
22	'ADD'=33	22	'>'=56
23	'DIV'=34	23	'>='=39
24	'EQ'=52	24	'['=57
25	'GREATER'=11	25	']'=58
26	'GREATER_EQ'=4	26	'^'=59
27	'IN'=53	27	'abstract'=5
28	'LESS'=25	28	'as'=40
29	'LESS_EQ'=12	29	'class'=18
30	'MUL'=35	30	'contains'=6
31	'NOT_EQ'=17	31	'count'=19
32	'POW'=36	32	'current'=11
33	'SUB'=37	33	'datatype'=7
34	'['=70	34	'default'=12
35	']'=71	35	'else'=24
36	'^'=72	36	'empty'=20
37	'abstract'=6	37	'error'=21
38	'avg'=38	38	'exists'=15
39	'class'=19	39	'extends'=13
40	'contains'=7	40	'extern'=16
41	'count'=20	41	'false'=22
42	'current'=13	42	'forall'=17
43	'default'=14	43	'functional'=4
44	'else'=26	44	'if'=41
45	'empty'=21	45	'in'=42
46	'error'=22	46	'inf'=29
47	'extends'=15	47	'let'=30
48	'extern'=18
49	'false'=23
50	'functional'=5
51	'if'=54
52	'in'=55
53	'inf'=39
54	'int'=40
55	'max'=41
56	'maximize'=8	48	'maximize'=8
57	'may'=42	49	'may'=31
58	'min'=43
59	'minimize'=9	50	'minimize'=9
60	'must'=27	51	'must'=25
61	'only'=28
62	'opposite'=10	52	'opposite'=10
63	'prod'=29	53	'scope'=23
64	'real'=30	54	'then'=26
65	'scope'=24	55	'true'=27
66	'sum'=44	56	'unknown'=14
67	'then'=31	57	'{'=60
68	'true'=32	58	'\|'=61
69	'unknown'=16	59	'}'=62
70	'{'=73	60	RULE_ANY_OTHER=73
71	'\|'=74	61	RULE_FULL_STOP=68
72	'}'=75	62	RULE_ID=69
73	RULE_ANY_OTHER=86	63	RULE_INT=70
74	RULE_FULL_STOP=81	64	RULE_ML_COMMENT=71
75	RULE_ID=82	65	RULE_QUOTED_ID=64
76	RULE_INT=83	66	RULE_REFLEXIVE_TRANSITIVE_CLOSURE=67
77	RULE_ML_COMMENT=84	67	RULE_SL_COMMENT=65
78	RULE_QUOTED_ID=77	68	RULE_STRING=63
79	RULE_REFLEXIVE_TRANSITIVE_CLOSURE=80	69	RULE_TRANSITIVE_CLOSURE=66
80	RULE_SL_COMMENT=78	70	RULE_WS=72
81	RULE_STRING=76
82	RULE_TRANSITIVE_CLOSURE=79
83	RULE_WS=85