1 files changed, 25 insertions, 23 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.tokens b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.tokens
index 1abe7de4..5054ccc5 100644
--- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.tokens
+++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.tokens
@@ -1,33 +1,34 @@
 '('=17
-')'=18
+')'=19
-'*'=30
+'*'=31
-'+'=29
+'+'=30
+','=18
 '-'=11
 '.'=12
-'..'=40
+'..'=41
-':'=19
+':'=20
-'\''=26
+':-'=28
-'abstract'=32
+'\''=27
-'bool'=22
+'abstract'=33
-'class'=33
+'bool'=23
-'containment'=38
+'class'=34
-'default'=31
+'containment'=39
-'enum'=37
+'default'=32
-'equals'=21
+'enum'=38
+'equals'=22
 'error'=16
-'exists'=20
+'exists'=21
-'extends'=34
+'extends'=35
 'false'=14
-'int'=23
+'int'=24
-'predicate'=27
+'real'=25
-'real'=24
+'relation'=40
-'relation'=39
+'string'=26
-'string'=25
 'true'=13
 'unknown'=15
-'{'=35
+'{'=36
-'|'=28
+'|'=29
-'}'=36
+'}'=37
 RULE_ANY_OTHER=10
 RULE_ID=5
 RULE_INT=4
@@ -65,3 +66,4 @@ T__37=37
 T__38=38
 T__39=39
 T__40=40
+T__41=41

diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.tokens b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.tokens index 1abe7de4..5054ccc5 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.tokens +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.tokens
@@ -1,33 +1,34 @@
1	'('=17	1	'('=17
2	')'=18	2	')'=19
3	'*'=30	3	'*'=31
4	'+'=29	4	'+'=30
		5	','=18
5	'-'=11	6	'-'=11
6	'.'=12	7	'.'=12
7	'..'=40	8	'..'=41
8	':'=19	9	':'=20
9	'\''=26	10	':-'=28
10	'abstract'=32	11	'\''=27
11	'bool'=22	12	'abstract'=33
12	'class'=33	13	'bool'=23
13	'containment'=38	14	'class'=34
14	'default'=31	15	'containment'=39
15	'enum'=37	16	'default'=32
16	'equals'=21	17	'enum'=38
		18	'equals'=22
17	'error'=16	19	'error'=16
18	'exists'=20	20	'exists'=21
19	'extends'=34	21	'extends'=35
20	'false'=14	22	'false'=14
21	'int'=23	23	'int'=24
22	'predicate'=27	24	'real'=25
23	'real'=24	25	'relation'=40
24	'relation'=39	26	'string'=26
25	'string'=25
26	'true'=13	27	'true'=13
27	'unknown'=15	28	'unknown'=15
28	'{'=35	29	'{'=36
29	'\|'=28	30	'\|'=29
30	'}'=36	31	'}'=37
31	RULE_ANY_OTHER=10	32	RULE_ANY_OTHER=10
32	RULE_ID=5	33	RULE_ID=5
33	RULE_INT=4	34	RULE_INT=4
@@ -65,3 +66,4 @@ T__37=37
65	T__38=38	66	T__38=38
66	T__39=39	67	T__39=39
67	T__40=40	68	T__40=40
		69	T__41=41