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