1 files changed, 65 insertions, 0 deletions
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.tokens b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.tokens
new file mode 100644
index 00000000..22ef662c
--- /dev/null
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.tokens
@@ -0,0 +1,65 @@
+'!'=27
+'('=23
+')'=24
+'*'=34
+'+'=28
+'+='=31
+','=15
+'.'=17
+'..'=33
+':'=29
+'::'=35
+':='=25
+';'=26
+'='=32
+'?'=39
+'['=14
+']'=16
+'abstract'=11
+'class'=12
+'contains'=18
+'error'=21
+'extends'=13
+'false'=37
+'opposite'=20
+'pred'=22
+'refers'=19
+'scope'=30
+'true'=36
+'unknown'=38
+RULE_ANY_OTHER=10
+RULE_ID=4
+RULE_INT=5
+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

diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.tokens b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.tokens new file mode 100644 index 00000000..22ef662c --- /dev/null +++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.tokens
@@ -0,0 +1,65 @@
	1	'!'=27
	2	'('=23
	3	')'=24
	4	'*'=34
	5	'+'=28
	6	'+='=31
	7	','=15
	8	'.'=17
	9	'..'=33
	10	':'=29
	11	'::'=35
	12	':='=25
	13	';'=26
	14	'='=32
	15	'?'=39
	16	'['=14
	17	']'=16
	18	'abstract'=11
	19	'class'=12
	20	'contains'=18
	21	'error'=21
	22	'extends'=13
	23	'false'=37
	24	'opposite'=20
	25	'pred'=22
	26	'refers'=19
	27	'scope'=30
	28	'true'=36
	29	'unknown'=38
	30	RULE_ANY_OTHER=10
	31	RULE_ID=4
	32	RULE_INT=5
	33	RULE_ML_COMMENT=7
	34	RULE_SL_COMMENT=8
	35	RULE_STRING=6
	36	RULE_WS=9
	37	T__11=11
	38	T__12=12
	39	T__13=13
	40	T__14=14
	41	T__15=15
	42	T__16=16
	43	T__17=17
	44	T__18=18
	45	T__19=19
	46	T__20=20
	47	T__21=21
	48	T__22=22
	49	T__23=23
	50	T__24=24
	51	T__25=25
	52	T__26=26
	53	T__27=27
	54	T__28=28
	55	T__29=29
	56	T__30=30
	57	T__31=31
	58	T__32=32
	59	T__33=33
	60	T__34=34
	61	T__35=35
	62	T__36=36
	63	T__37=37
	64	T__38=38
	65	T__39=39