1 files changed, 72 insertions, 67 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.tokens b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.tokens
index 178103e2..f6269b97 100644
--- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.tokens
+++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.tokens
@@ -1,70 +1,75 @@
-Abstract=5
+Abstract=6
-As=40
+As=43
-Asterisk=46
+Asterisk=49
-CircumflexAccent=59
+CircumflexAccent=63
-Class=18
+Class=20
-Colon=52
+Colon=55
-ColonHyphenMinus=35
+ColonColon=37
-Comma=48
+ColonEqualsSign=38
-Contains=6
+ColonHyphenMinus=36
-Count=19
+Comma=51
-Current=11
+Containment=4
-Datatype=7
+Contains=7
+Count=21
+Datatype=8
 Default=12
-Else=24
+Else=26
-Empty=20
+Empty=22
-EqualsSign=55
+Enum=27
-EqualsSignEqualsSign=37
+EqualsSign=58
-EqualsSignGreaterThanSign=38
+EqualsSignEqualsSign=40
-Error=21
+EqualsSignGreaterThanSign=41
-ExclamationMark=43
+Error=23
-ExclamationMarkEqualsSign=32
+ExclamationMark=46
-Exists=15
+ExclamationMarkEqualsSign=34
 Extends=13
 Extern=16
-False=22
+False=24
-Forall=17
+FullStop=53
-FullStop=50
+FullStopFullStopFullStop=31
-FullStopFullStop=34
+Functional=5
-FullStopFullStopFullStop=28
+GreaterThanSign=59
-Functional=4
+GreaterThanSignEqualsSign=42
-GreaterThanSign=56
+HyphenMinus=52
-GreaterThanSignEqualsSign=39
+HyphenMinusGreaterThanSign=35
-HyphenMinus=49
+If=44
-HyphenMinusGreaterThanSign=33
+Import=17
-If=41
+In=45
-In=42
+Inf=32
-Inf=29
+LeftCurlyBracket=64
-LeftCurlyBracket=60
+LeftParenthesis=47
-LeftParenthesis=44
+LeftSquareBracket=61
-LeftSquareBracket=57
+LessThanSign=57
-LessThanSign=54
+LessThanSignEqualsSign=39
-LessThanSignEqualsSign=36
+Let=33
-Let=30
+Maximize=9
-Maximize=8
+Minimize=10
-May=31
+Object=18
-Minimize=9
+Opposite=11
-Must=25
+PlusSign=50
-Opposite=10
+Problem=14
-PlusSign=47
+QuestionMark=60
-RULE_ANY_OTHER=73
+RULE_ANY_OTHER=78
-RULE_FULL_STOP=68
+RULE_FULL_STOP=73
-RULE_ID=69
+RULE_ID=74
-RULE_INT=70
+RULE_INT=75
-RULE_ML_COMMENT=71
+RULE_ML_COMMENT=76
-RULE_QUOTED_ID=64
+RULE_QUOTED_ID=69
-RULE_REFLEXIVE_TRANSITIVE_CLOSURE=67
+RULE_REFLEXIVE_TRANSITIVE_CLOSURE=72
-RULE_SL_COMMENT=65
+RULE_SL_COMMENT=70
-RULE_STRING=63
+RULE_STRING=68
-RULE_TRANSITIVE_CLOSURE=66
+RULE_TRANSITIVE_CLOSURE=71
-RULE_WS=72
+RULE_WS=77
-RightCurlyBracket=62
+Refers=19
-RightParenthesis=45
+RightCurlyBracket=66
-RightSquareBracket=58
+RightParenthesis=48
-Scope=23
+RightSquareBracket=62
-Semicolon=53
+Root=28
-Solidus=51
+Scope=25
-Then=26
+Semicolon=56
-True=27
+Solidus=54
-Unknown=14
+Then=29
-VerticalLine=61
+Tilde=67
+True=30
+Unknown=15
+VerticalLine=65

diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.tokens b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.tokens index 178103e2..f6269b97 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.tokens +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.tokens
@@ -1,70 +1,75 @@
1	Abstract=5	1	Abstract=6
2	As=40	2	As=43
3	Asterisk=46	3	Asterisk=49
4	CircumflexAccent=59	4	CircumflexAccent=63
5	Class=18	5	Class=20
6	Colon=52	6	Colon=55
7	ColonHyphenMinus=35	7	ColonColon=37
8	Comma=48	8	ColonEqualsSign=38
9	Contains=6	9	ColonHyphenMinus=36
10	Count=19	10	Comma=51
11	Current=11	11	Containment=4
12	Datatype=7	12	Contains=7
		13	Count=21
		14	Datatype=8
13	Default=12	15	Default=12
14	Else=24	16	Else=26
15	Empty=20	17	Empty=22
16	EqualsSign=55	18	Enum=27
17	EqualsSignEqualsSign=37	19	EqualsSign=58
18	EqualsSignGreaterThanSign=38	20	EqualsSignEqualsSign=40
19	Error=21	21	EqualsSignGreaterThanSign=41
20	ExclamationMark=43	22	Error=23
21	ExclamationMarkEqualsSign=32	23	ExclamationMark=46
22	Exists=15	24	ExclamationMarkEqualsSign=34
23	Extends=13	25	Extends=13
24	Extern=16	26	Extern=16
25	False=22	27	False=24
26	Forall=17	28	FullStop=53
27	FullStop=50	29	FullStopFullStopFullStop=31
28	FullStopFullStop=34	30	Functional=5
29	FullStopFullStopFullStop=28	31	GreaterThanSign=59
30	Functional=4	32	GreaterThanSignEqualsSign=42
31	GreaterThanSign=56	33	HyphenMinus=52
32	GreaterThanSignEqualsSign=39	34	HyphenMinusGreaterThanSign=35
33	HyphenMinus=49	35	If=44
34	HyphenMinusGreaterThanSign=33	36	Import=17
35	If=41	37	In=45
36	In=42	38	Inf=32
37	Inf=29	39	LeftCurlyBracket=64
38	LeftCurlyBracket=60	40	LeftParenthesis=47
39	LeftParenthesis=44	41	LeftSquareBracket=61
40	LeftSquareBracket=57	42	LessThanSign=57
41	LessThanSign=54	43	LessThanSignEqualsSign=39
42	LessThanSignEqualsSign=36	44	Let=33
43	Let=30	45	Maximize=9
44	Maximize=8	46	Minimize=10
45	May=31	47	Object=18
46	Minimize=9	48	Opposite=11
47	Must=25	49	PlusSign=50
48	Opposite=10	50	Problem=14
49	PlusSign=47	51	QuestionMark=60
50	RULE_ANY_OTHER=73	52	RULE_ANY_OTHER=78
51	RULE_FULL_STOP=68	53	RULE_FULL_STOP=73
52	RULE_ID=69	54	RULE_ID=74
53	RULE_INT=70	55	RULE_INT=75
54	RULE_ML_COMMENT=71	56	RULE_ML_COMMENT=76
55	RULE_QUOTED_ID=64	57	RULE_QUOTED_ID=69
56	RULE_REFLEXIVE_TRANSITIVE_CLOSURE=67	58	RULE_REFLEXIVE_TRANSITIVE_CLOSURE=72
57	RULE_SL_COMMENT=65	59	RULE_SL_COMMENT=70
58	RULE_STRING=63	60	RULE_STRING=68
59	RULE_TRANSITIVE_CLOSURE=66	61	RULE_TRANSITIVE_CLOSURE=71
60	RULE_WS=72	62	RULE_WS=77
61	RightCurlyBracket=62	63	Refers=19
62	RightParenthesis=45	64	RightCurlyBracket=66
63	RightSquareBracket=58	65	RightParenthesis=48
64	Scope=23	66	RightSquareBracket=62
65	Semicolon=53	67	Root=28
66	Solidus=51	68	Scope=25
67	Then=26	69	Semicolon=56
68	True=27	70	Solidus=54
69	Unknown=14	71	Then=29
70	VerticalLine=61	72	Tilde=67
		73	True=30
		74	Unknown=15
		75	VerticalLine=65