1 files changed, 67 insertions, 0 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
new file mode 100644
index 00000000..1abe7de4
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.tokens
@@ -0,0 +1,67 @@
+'('=17
+')'=18
+'*'=30
+'+'=29
+'-'=11
+'.'=12
+'..'=40
+':'=19
+'\''=26
+'abstract'=32
+'bool'=22
+'class'=33
+'containment'=38
+'default'=31
+'enum'=37
+'equals'=21
+'error'=16
+'exists'=20
+'extends'=34
+'false'=14
+'int'=23
+'predicate'=27
+'real'=24
+'relation'=39
+'string'=25
+'true'=13
+'unknown'=15
+'{'=35
+'|'=28
+'}'=36
+RULE_ANY_OTHER=10
+RULE_ID=5
+RULE_INT=4
+RULE_ML_COMMENT=7
+RULE_SL_COMMENT=8
+RULE_STRING=6
+RULE_WS=9
+T__11=11
+T__12=12
+T__13=13
+T__14=14
+T__15=15
+T__16=16
+T__17=17
+T__18=18
+T__19=19
+T__20=20
+T__21=21
+T__22=22
+T__23=23
+T__24=24
+T__25=25
+T__26=26
+T__27=27
+T__28=28
+T__29=29
+T__30=30
+T__31=31
+T__32=32
+T__33=33
+T__34=34
+T__35=35
+T__36=36
+T__37=37
+T__38=38
+T__39=39
+T__40=40

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 new file mode 100644 index 00000000..1abe7de4 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.tokens
@@ -0,0 +1,67 @@
	1	'('=17
	2	')'=18
	3	'*'=30
	4	'+'=29
	5	'-'=11
	6	'.'=12
	7	'..'=40
	8	':'=19
	9	'\''=26
	10	'abstract'=32
	11	'bool'=22
	12	'class'=33
	13	'containment'=38
	14	'default'=31
	15	'enum'=37
	16	'equals'=21
	17	'error'=16
	18	'exists'=20
	19	'extends'=34
	20	'false'=14
	21	'int'=23
	22	'predicate'=27
	23	'real'=24
	24	'relation'=39
	25	'string'=25
	26	'true'=13
	27	'unknown'=15
	28	'{'=35
	29	'\|'=28
	30	'}'=36
	31	RULE_ANY_OTHER=10
	32	RULE_ID=5
	33	RULE_INT=4
	34	RULE_ML_COMMENT=7
	35	RULE_SL_COMMENT=8
	36	RULE_STRING=6
	37	RULE_WS=9
	38	T__11=11
	39	T__12=12
	40	T__13=13
	41	T__14=14
	42	T__15=15
	43	T__16=16
	44	T__17=17
	45	T__18=18
	46	T__19=19
	47	T__20=20
	48	T__21=21
	49	T__22=22
	50	T__23=23
	51	T__24=24
	52	T__25=25
	53	T__26=26
	54	T__27=27
	55	T__28=28
	56	T__29=29
	57	T__30=30
	58	T__31=31
	59	T__32=32
	60	T__33=33
	61	T__34=34
	62	T__35=35
	63	T__36=36
	64	T__37=37
	65	T__38=38
	66	T__39=39
	67	T__40=40