1 files changed, 72 insertions, 0 deletions
diff --git a/language-web/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.tokens b/language-web/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.tokens
new file mode 100644
index 00000000..e968ac14
--- /dev/null
+++ b/language-web/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.tokens
@@ -0,0 +1,72 @@
+'!'=32
+'('=29
+')'=30
+'*'=39
+'+'=33
+'+='=36
+','=17
+'.'=13
+'..'=38
+':'=34
+':-'=31
+';'=19
+'='=37
+'?'=43
+'['=24
+']'=25
+'abstract'=14
+'class'=15
+'contains'=22
+'enum'=21
+'error'=27
+'extends'=16
+'false'=41
+'opposite'=26
+'pred'=28
+'problem'=12
+'refers'=23
+'scope'=35
+'true'=40
+'unknown'=42
+'{'=18
+'}'=20
+RULE_ANY_OTHER=11
+RULE_ID=4
+RULE_INT=5
+RULE_ML_COMMENT=8
+RULE_QUOTED_ID=6
+RULE_SL_COMMENT=9
+RULE_STRING=7
+RULE_WS=10
+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
+T__41=41
+T__42=42
+T__43=43

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