1 files changed, 137 insertions, 0 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.tokens b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.tokens
new file mode 100644
index 00000000..49d2a448
--- /dev/null
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.tokens
@@ -0,0 +1,137 @@
+'!'=49
+'!='=37
+'#'=54
+'&&'=34
+'&'=47
+'('=60
+')'=61
+'*'=53
+'+'=19
+'++'=42
+','=13
+'-'=46
+'->'=48
+'.'=45
+':'=20
+':>'=43
+'<'=40
+'<:'=44
+'<='=41
+'<=>'=29
+'='=36
+'=>'=31
+'>'=38
+'>='=39
+'Int'=59
+'['=22
+']'=23
+'^'=52
+'abstract'=15
+'all'=65
+'and'=35
+'disj'=26
+'div'=75
+'else'=33
+'enum'=11
+'exactly'=64
+'extends'=17
+'fact'=25
+'for'=63
+'fun'=21
+'iden'=57
+'iff'=30
+'implies'=32
+'in'=18
+'lone'=68
+'mul'=73
+'no'=66
+'none'=56
+'not'=50
+'one'=69
+'or'=28
+'plus'=71
+'pred'=24
+'rem'=74
+'run'=62
+'set'=70
+'sig'=16
+'some'=67
+'sub'=72
+'sum'=55
+'univ'=58
+'{'=12
+'||'=27
+'}'=14
+'~'=51
+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
+T__40=40
+T__41=41
+T__42=42
+T__43=43
+T__44=44
+T__45=45
+T__46=46
+T__47=47
+T__48=48
+T__49=49
+T__50=50
+T__51=51
+T__52=52
+T__53=53
+T__54=54
+T__55=55
+T__56=56
+T__57=57
+T__58=58
+T__59=59
+T__60=60
+T__61=61
+T__62=62
+T__63=63
+T__64=64
+T__65=65
+T__66=66
+T__67=67
+T__68=68
+T__69=69
+T__70=70
+T__71=71
+T__72=72
+T__73=73
+T__74=74
+T__75=75

diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.tokens b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.tokens new file mode 100644 index 00000000..49d2a448 --- /dev/null +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.tokens
@@ -0,0 +1,137 @@
	1	'!'=49
	2	'!='=37
	3	'#'=54
	4	'&&'=34
	5	'&'=47
	6	'('=60
	7	')'=61
	8	'*'=53
	9	'+'=19
	10	'++'=42
	11	','=13
	12	'-'=46
	13	'->'=48
	14	'.'=45
	15	':'=20
	16	':>'=43
	17	'<'=40
	18	'<:'=44
	19	'<='=41
	20	'<=>'=29
	21	'='=36
	22	'=>'=31
	23	'>'=38
	24	'>='=39
	25	'Int'=59
	26	'['=22
	27	']'=23
	28	'^'=52
	29	'abstract'=15
	30	'all'=65
	31	'and'=35
	32	'disj'=26
	33	'div'=75
	34	'else'=33
	35	'enum'=11
	36	'exactly'=64
	37	'extends'=17
	38	'fact'=25
	39	'for'=63
	40	'fun'=21
	41	'iden'=57
	42	'iff'=30
	43	'implies'=32
	44	'in'=18
	45	'lone'=68
	46	'mul'=73
	47	'no'=66
	48	'none'=56
	49	'not'=50
	50	'one'=69
	51	'or'=28
	52	'plus'=71
	53	'pred'=24
	54	'rem'=74
	55	'run'=62
	56	'set'=70
	57	'sig'=16
	58	'some'=67
	59	'sub'=72
	60	'sum'=55
	61	'univ'=58
	62	'{'=12
	63	'\|\|'=27
	64	'}'=14
	65	'~'=51
	66	RULE_ANY_OTHER=10
	67	RULE_ID=4
	68	RULE_INT=5
	69	RULE_ML_COMMENT=7
	70	RULE_SL_COMMENT=8
	71	RULE_STRING=6
	72	RULE_WS=9
	73	T__11=11
	74	T__12=12
	75	T__13=13
	76	T__14=14
	77	T__15=15
	78	T__16=16
	79	T__17=17
	80	T__18=18
	81	T__19=19
	82	T__20=20
	83	T__21=21
	84	T__22=22
	85	T__23=23
	86	T__24=24
	87	T__25=25
	88	T__26=26
	89	T__27=27
	90	T__28=28
	91	T__29=29
	92	T__30=30
	93	T__31=31
	94	T__32=32
	95	T__33=33
	96	T__34=34
	97	T__35=35
	98	T__36=36
	99	T__37=37
	100	T__38=38
	101	T__39=39
	102	T__40=40
	103	T__41=41
	104	T__42=42
	105	T__43=43
	106	T__44=44
	107	T__45=45
	108	T__46=46
	109	T__47=47
	110	T__48=48
	111	T__49=49
	112	T__50=50
	113	T__51=51
	114	T__52=52
	115	T__53=53
	116	T__54=54
	117	T__55=55
	118	T__56=56
	119	T__57=57
	120	T__58=58
	121	T__59=59
	122	T__60=60
	123	T__61=61
	124	T__62=62
	125	T__63=63
	126	T__64=64
	127	T__65=65
	128	T__66=66
	129	T__67=67
	130	T__68=68
	131	T__69=69
	132	T__70=70
	133	T__71=71
	134	T__72=72
	135	T__73=73
	136	T__74=74
	137	T__75=75