1 files changed, 26 insertions, 24 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 e2d30366..938a5322 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,33 +1,34 @@
-'('=17
+'('=18
-')'=18
+')'=19
-'*'=30
+'*'=31
-'+'=29
+'+'=30
+','=20
 '-'=13
 '.'=14
-'..'=38
+'..'=39
-':'=19
+':'=17
-'\''=26
+':-'=28
-'abstract'=39
+'\''=27
-'bool'=22
+'abstract'=40
-'class'=32
+'bool'=23
-'containment'=40
+'class'=33
-'default'=31
+'containment'=41
-'enum'=36
+'default'=32
-'equals'=21
+'enum'=37
+'equals'=22
 'error'=16
-'exists'=20
+'exists'=21
-'extends'=35
+'extends'=36
 'false'=11
-'int'=23
+'int'=24
-'predicate'=27
+'real'=25
-'real'=24
+'relation'=38
-'relation'=37
+'string'=26
-'string'=25
 'true'=12
 'unknown'=15
-'{'=33
+'{'=34
-'|'=28
+'|'=29
-'}'=34
+'}'=35
 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.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 e2d30366..938a5322 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,33 +1,34 @@
1	'('=17	1	'('=18
2	')'=18	2	')'=19
3	'*'=30	3	'*'=31
4	'+'=29	4	'+'=30
		5	','=20
5	'-'=13	6	'-'=13
6	'.'=14	7	'.'=14
7	'..'=38	8	'..'=39
8	':'=19	9	':'=17
9	'\''=26	10	':-'=28
10	'abstract'=39	11	'\''=27
11	'bool'=22	12	'abstract'=40
12	'class'=32	13	'bool'=23
13	'containment'=40	14	'class'=33
14	'default'=31	15	'containment'=41
15	'enum'=36	16	'default'=32
16	'equals'=21	17	'enum'=37
		18	'equals'=22
17	'error'=16	19	'error'=16
18	'exists'=20	20	'exists'=21
19	'extends'=35	21	'extends'=36
20	'false'=11	22	'false'=11
21	'int'=23	23	'int'=24
22	'predicate'=27	24	'real'=25
23	'real'=24	25	'relation'=38
24	'relation'=37	26	'string'=26
25	'string'=25
26	'true'=12	27	'true'=12
27	'unknown'=15	28	'unknown'=15
28	'{'=33	29	'{'=34
29	'\|'=28	30	'\|'=29
30	'}'=34	31	'}'=35
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