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/lexer/InternalSolverLanguageLexer.tokens b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.tokens
index 133cc9d6..178103e2 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,83 +1,70 @@
-ADD=33
+Abstract=5
-Abstract=6
+As=40
-Asterisk=59
+Asterisk=46
-Avg=38
+CircumflexAccent=59
-CircumflexAccent=72
+Class=18
-Class=19
+Colon=52
-Colon=65
+ColonHyphenMinus=35
-ColonHyphenMinus=48
+Comma=48
-Comma=61
+Contains=6
-Contains=7
+Count=19
-Count=20
+Current=11
-Current=13
+Datatype=7
-DIV=34
+Default=12
-Default=14
+Else=24
-EQ=52
+Empty=20
-Else=26
+EqualsSign=55
-Empty=21
+EqualsSignEqualsSign=37
-EqualsSign=68
+EqualsSignGreaterThanSign=38
-EqualsSignEqualsSign=50
+Error=21
-Error=22
+ExclamationMark=43
-ExclamationMark=56
+ExclamationMarkEqualsSign=32
-ExclamationMarkEqualsSign=45
+Exists=15
-Extends=15
+Extends=13
-Extern=18
+Extern=16
-False=23
+False=22
-FullStop=63
+Forall=17
-FullStopFullStop=47
+FullStop=50
-Functional=5
+FullStopFullStop=34
-GREATER=11
+FullStopFullStopFullStop=28
-GREATER_EQ=4
+Functional=4
-GreaterThanSign=69
+GreaterThanSign=56
-GreaterThanSignEqualsSign=51
+GreaterThanSignEqualsSign=39
-HyphenMinus=62
+HyphenMinus=49
-HyphenMinusGreaterThanSign=46
+HyphenMinusGreaterThanSign=33
-IN=53
+If=41
-If=54
+In=42
-In=55
+Inf=29
-Inf=39
+LeftCurlyBracket=60
-Int=40
+LeftParenthesis=44
-LESS=25
+LeftSquareBracket=57
-LESS_EQ=12
+LessThanSign=54
-LeftCurlyBracket=73
+LessThanSignEqualsSign=36
-LeftParenthesis=57
+Let=30
-LeftSquareBracket=70
-LessThanSign=67
-LessThanSignEqualsSign=49
-MUL=35
-Max=41
 Maximize=8
-May=42
+May=31
-Min=43
 Minimize=9
-Must=27
+Must=25
-NOT_EQ=17
-Only=28
 Opposite=10
-POW=36
+PlusSign=47
-PlusSign=60
+RULE_ANY_OTHER=73
-Prod=29
+RULE_FULL_STOP=68
-RULE_ANY_OTHER=86
+RULE_ID=69
-RULE_FULL_STOP=81
+RULE_INT=70
-RULE_ID=82
+RULE_ML_COMMENT=71
-RULE_INT=83
+RULE_QUOTED_ID=64
-RULE_ML_COMMENT=84
+RULE_REFLEXIVE_TRANSITIVE_CLOSURE=67
-RULE_QUOTED_ID=77
+RULE_SL_COMMENT=65
-RULE_REFLEXIVE_TRANSITIVE_CLOSURE=80
+RULE_STRING=63
-RULE_SL_COMMENT=78
+RULE_TRANSITIVE_CLOSURE=66
-RULE_STRING=76
+RULE_WS=72
-RULE_TRANSITIVE_CLOSURE=79
+RightCurlyBracket=62
-RULE_WS=85
+RightParenthesis=45
-Real=30
+RightSquareBracket=58
-RightCurlyBracket=75
+Scope=23
-RightParenthesis=58
+Semicolon=53
-RightSquareBracket=71
+Solidus=51
-SUB=37
+Then=26
-Scope=24
+True=27
-Semicolon=66
+Unknown=14
-Solidus=64
+VerticalLine=61
-Sum=44
-Then=31
-True=32
-Unknown=16
-VerticalLine=74

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 133cc9d6..178103e2 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,83 +1,70 @@
1	ADD=33	1	Abstract=5
2	Abstract=6	2	As=40
3	Asterisk=59	3	Asterisk=46
4	Avg=38	4	CircumflexAccent=59
5	CircumflexAccent=72	5	Class=18
6	Class=19	6	Colon=52
7	Colon=65	7	ColonHyphenMinus=35
8	ColonHyphenMinus=48	8	Comma=48
9	Comma=61	9	Contains=6
10	Contains=7	10	Count=19
11	Count=20	11	Current=11
12	Current=13	12	Datatype=7
13	DIV=34	13	Default=12
14	Default=14	14	Else=24
15	EQ=52	15	Empty=20
16	Else=26	16	EqualsSign=55
17	Empty=21	17	EqualsSignEqualsSign=37
18	EqualsSign=68	18	EqualsSignGreaterThanSign=38
19	EqualsSignEqualsSign=50	19	Error=21
20	Error=22	20	ExclamationMark=43
21	ExclamationMark=56	21	ExclamationMarkEqualsSign=32
22	ExclamationMarkEqualsSign=45	22	Exists=15
23	Extends=15	23	Extends=13
24	Extern=18	24	Extern=16
25	False=23	25	False=22
26	FullStop=63	26	Forall=17
27	FullStopFullStop=47	27	FullStop=50
28	Functional=5	28	FullStopFullStop=34
29	GREATER=11	29	FullStopFullStopFullStop=28
30	GREATER_EQ=4	30	Functional=4
31	GreaterThanSign=69	31	GreaterThanSign=56
32	GreaterThanSignEqualsSign=51	32	GreaterThanSignEqualsSign=39
33	HyphenMinus=62	33	HyphenMinus=49
34	HyphenMinusGreaterThanSign=46	34	HyphenMinusGreaterThanSign=33
35	IN=53	35	If=41
36	If=54	36	In=42
37	In=55	37	Inf=29
38	Inf=39	38	LeftCurlyBracket=60
39	Int=40	39	LeftParenthesis=44
40	LESS=25	40	LeftSquareBracket=57
41	LESS_EQ=12	41	LessThanSign=54
42	LeftCurlyBracket=73	42	LessThanSignEqualsSign=36
43	LeftParenthesis=57	43	Let=30
44	LeftSquareBracket=70
45	LessThanSign=67
46	LessThanSignEqualsSign=49
47	MUL=35
48	Max=41
49	Maximize=8	44	Maximize=8
50	May=42	45	May=31
51	Min=43
52	Minimize=9	46	Minimize=9
53	Must=27	47	Must=25
54	NOT_EQ=17
55	Only=28
56	Opposite=10	48	Opposite=10
57	POW=36	49	PlusSign=47
58	PlusSign=60	50	RULE_ANY_OTHER=73
59	Prod=29	51	RULE_FULL_STOP=68
60	RULE_ANY_OTHER=86	52	RULE_ID=69
61	RULE_FULL_STOP=81	53	RULE_INT=70
62	RULE_ID=82	54	RULE_ML_COMMENT=71
63	RULE_INT=83	55	RULE_QUOTED_ID=64
64	RULE_ML_COMMENT=84	56	RULE_REFLEXIVE_TRANSITIVE_CLOSURE=67
65	RULE_QUOTED_ID=77	57	RULE_SL_COMMENT=65
66	RULE_REFLEXIVE_TRANSITIVE_CLOSURE=80	58	RULE_STRING=63
67	RULE_SL_COMMENT=78	59	RULE_TRANSITIVE_CLOSURE=66
68	RULE_STRING=76	60	RULE_WS=72
69	RULE_TRANSITIVE_CLOSURE=79	61	RightCurlyBracket=62
70	RULE_WS=85	62	RightParenthesis=45
71	Real=30	63	RightSquareBracket=58
72	RightCurlyBracket=75	64	Scope=23
73	RightParenthesis=58	65	Semicolon=53
74	RightSquareBracket=71	66	Solidus=51
75	SUB=37	67	Then=26
76	Scope=24	68	True=27
77	Semicolon=66	69	Unknown=14
78	Solidus=64	70	VerticalLine=61
79	Sum=44
80	Then=31
81	True=32
82	Unknown=16
83	VerticalLine=74