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/internal/InternalSolverLanguageParser.tokens b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageParser.tokens
new file mode 100644
index 00000000..81343db5
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageParser.tokens
@@ -0,0 +1,83 @@
+'!'=56
+'!='=45
+'('=57
+')'=58
+'*'=59
+'+'=60
+','=61
+'-'=62
+'->'=46
+'.'=63
+'..'=47
+'/'=64
+':'=65
+':-'=48
+';'=66
+'<'=67
+'<='=49
+'='=68
+'=='=50
+'>'=69
+'>='=51
+'ADD'=33
+'DIV'=34
+'EQ'=52
+'GREATER'=11
+'GREATER_EQ'=4
+'IN'=53
+'LESS'=25
+'LESS_EQ'=12
+'MUL'=35
+'NOT_EQ'=17
+'POW'=36
+'SUB'=37
+'['=70
+']'=71
+'^'=72
+'abstract'=6
+'avg'=38
+'class'=19
+'contains'=7
+'count'=20
+'current'=13
+'default'=14
+'else'=26
+'empty'=21
+'error'=22
+'extends'=15
+'extern'=18
+'false'=23
+'functional'=5
+'if'=54
+'in'=55
+'inf'=39
+'int'=40
+'max'=41
+'maximize'=8
+'may'=42
+'min'=43
+'minimize'=9
+'must'=27
+'only'=28
+'opposite'=10
+'prod'=29
+'real'=30
+'scope'=24
+'sum'=44
+'then'=31
+'true'=32
+'unknown'=16
+'{'=73
+'|'=74
+'}'=75
+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

diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageParser.tokens b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageParser.tokens new file mode 100644 index 00000000..81343db5 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageParser.tokens
@@ -0,0 +1,83 @@
	1	'!'=56
	2	'!='=45
	3	'('=57
	4	')'=58
	5	'*'=59
	6	'+'=60
	7	','=61
	8	'-'=62
	9	'->'=46
	10	'.'=63
	11	'..'=47
	12	'/'=64
	13	':'=65
	14	':-'=48
	15	';'=66
	16	'<'=67
	17	'<='=49
	18	'='=68
	19	'=='=50
	20	'>'=69
	21	'>='=51
	22	'ADD'=33
	23	'DIV'=34
	24	'EQ'=52
	25	'GREATER'=11
	26	'GREATER_EQ'=4
	27	'IN'=53
	28	'LESS'=25
	29	'LESS_EQ'=12
	30	'MUL'=35
	31	'NOT_EQ'=17
	32	'POW'=36
	33	'SUB'=37
	34	'['=70
	35	']'=71
	36	'^'=72
	37	'abstract'=6
	38	'avg'=38
	39	'class'=19
	40	'contains'=7
	41	'count'=20
	42	'current'=13
	43	'default'=14
	44	'else'=26
	45	'empty'=21
	46	'error'=22
	47	'extends'=15
	48	'extern'=18
	49	'false'=23
	50	'functional'=5
	51	'if'=54
	52	'in'=55
	53	'inf'=39
	54	'int'=40
	55	'max'=41
	56	'maximize'=8
	57	'may'=42
	58	'min'=43
	59	'minimize'=9
	60	'must'=27
	61	'only'=28
	62	'opposite'=10
	63	'prod'=29
	64	'real'=30
	65	'scope'=24
	66	'sum'=44
	67	'then'=31
	68	'true'=32
	69	'unknown'=16
	70	'{'=73
	71	'\|'=74
	72	'}'=75
	73	RULE_ANY_OTHER=86
	74	RULE_FULL_STOP=81
	75	RULE_ID=82
	76	RULE_INT=83
	77	RULE_ML_COMMENT=84
	78	RULE_QUOTED_ID=77
	79	RULE_REFLEXIVE_TRANSITIVE_CLOSURE=80
	80	RULE_SL_COMMENT=78
	81	RULE_STRING=76
	82	RULE_TRANSITIVE_CLOSURE=79
	83	RULE_WS=85