1 files changed, 137 insertions, 0 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalAlloyLanguage.tokens b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalAlloyLanguage.tokens
new file mode 100644
index 00000000..4b2cb3c8
--- /dev/null
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalAlloyLanguage.tokens
@@ -0,0 +1,137 @@
+'!'=19
+'!='=48
+'#'=63
+'&&'=17
+'&'=58
+'('=69
+')'=70
+'*'=62
+'+'=39
+'++'=53
+','=35
+'-'=57
+'->'=59
+'.'=56
+':'=40
+':>'=54
+'<'=51
+'<:'=55
+'<='=52
+'<=>'=13
+'='=47
+'=>'=15
+'>'=49
+'>='=50
+'Int'=68
+'['=42
+']'=43
+'^'=61
+'abstract'=73
+'all'=21
+'and'=18
+'disj'=74
+'div'=31
+'else'=46
+'enum'=32
+'exactly'=75
+'extends'=37
+'fact'=45
+'for'=72
+'fun'=41
+'iden'=66
+'iff'=14
+'implies'=16
+'in'=38
+'lone'=24
+'mul'=29
+'no'=22
+'none'=65
+'not'=20
+'one'=25
+'or'=12
+'plus'=27
+'pred'=44
+'rem'=30
+'run'=71
+'set'=26
+'sig'=36
+'some'=23
+'sub'=28
+'sum'=64
+'univ'=67
+'{'=33
+'||'=11
+'}'=34
+'~'=60
+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.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalAlloyLanguage.tokens b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalAlloyLanguage.tokens new file mode 100644 index 00000000..4b2cb3c8 --- /dev/null +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalAlloyLanguage.tokens
@@ -0,0 +1,137 @@
	1	'!'=19
	2	'!='=48
	3	'#'=63
	4	'&&'=17
	5	'&'=58
	6	'('=69
	7	')'=70
	8	'*'=62
	9	'+'=39
	10	'++'=53
	11	','=35
	12	'-'=57
	13	'->'=59
	14	'.'=56
	15	':'=40
	16	':>'=54
	17	'<'=51
	18	'<:'=55
	19	'<='=52
	20	'<=>'=13
	21	'='=47
	22	'=>'=15
	23	'>'=49
	24	'>='=50
	25	'Int'=68
	26	'['=42
	27	']'=43
	28	'^'=61
	29	'abstract'=73
	30	'all'=21
	31	'and'=18
	32	'disj'=74
	33	'div'=31
	34	'else'=46
	35	'enum'=32
	36	'exactly'=75
	37	'extends'=37
	38	'fact'=45
	39	'for'=72
	40	'fun'=41
	41	'iden'=66
	42	'iff'=14
	43	'implies'=16
	44	'in'=38
	45	'lone'=24
	46	'mul'=29
	47	'no'=22
	48	'none'=65
	49	'not'=20
	50	'one'=25
	51	'or'=12
	52	'plus'=27
	53	'pred'=44
	54	'rem'=30
	55	'run'=71
	56	'set'=26
	57	'sig'=36
	58	'some'=23
	59	'sub'=28
	60	'sum'=64
	61	'univ'=67
	62	'{'=33
	63	'\|\|'=11
	64	'}'=34
	65	'~'=60
	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