1 files changed, 113 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.tokens b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.tokens
new file mode 100644
index 00000000..b7074acc
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.tokens
@@ -0,0 +1,113 @@
+'!'=62
+'!='=66
+'$false'=70
+'$less'=71
+'$true'=69
+'%'=31
+'&'=60
+'('=34
+')'=35
+','=29
+',['=28
+'.'=36
+':'=63
+':='=68
+'<='=56
+'<=>'=54
+'<~>'=57
+'='=67
+'=>'=55
+'?'=64
+'Satisfiable!'=32
+'['=53
+']'=30
+'assumption'=42
+'axiom'=38
+'conjecture'=39
+'corollary'=45
+'definition'=41
+'fi_domain'=49
+'fi_functors'=50
+'fi_predicates'=51
+'fof'=33
+'hypothesis'=40
+'include('=27
+'lemma'=43
+'negated_conjecture'=46
+'plain'=47
+'tff'=37
+'theorem'=44
+'type'=48
+'unknown'=52
+'|'=61
+'~&'=59
+'~'=65
+'~|'=58
+RULE_ALPHA_NUMERIC=15
+RULE_ANY_OTHER=22
+RULE_DOLLAR_ID=9
+RULE_DOUBLE_DOLLAR_ID=10
+RULE_DOUBLE_QUOTE=14
+RULE_ID=21
+RULE_INT=17
+RULE_LITERAL=6
+RULE_LOWER_WORD_ID=5
+RULE_ML_COMMENT=24
+RULE_SIGN=16
+RULE_SIGNED_LITERAL=7
+RULE_SIGNED_RAT_ID=13
+RULE_SIGNED_REAL_ID=12
+RULE_SINGLE_COMMENT=8
+RULE_SINGLE_QUOTE=4
+RULE_SL_COMMENT=25
+RULE_STRING=23
+RULE_UNSIGNED_RAT_ID=20
+RULE_UNSIGNED_REAL_EXP_ID=19
+RULE_UNSIGNED_REAL_FRAC_ID=18
+RULE_UPPER_WORD_ID=11
+RULE_WS=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

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.tokens b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.tokens new file mode 100644 index 00000000..b7074acc --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.tokens
@@ -0,0 +1,113 @@
	1	'!'=62
	2	'!='=66
	3	'$false'=70
	4	'$less'=71
	5	'$true'=69
	6	'%'=31
	7	'&'=60
	8	'('=34
	9	')'=35
	10	','=29
	11	',['=28
	12	'.'=36
	13	':'=63
	14	':='=68
	15	'<='=56
	16	'<=>'=54
	17	'<~>'=57
	18	'='=67
	19	'=>'=55
	20	'?'=64
	21	'Satisfiable!'=32
	22	'['=53
	23	']'=30
	24	'assumption'=42
	25	'axiom'=38
	26	'conjecture'=39
	27	'corollary'=45
	28	'definition'=41
	29	'fi_domain'=49
	30	'fi_functors'=50
	31	'fi_predicates'=51
	32	'fof'=33
	33	'hypothesis'=40
	34	'include('=27
	35	'lemma'=43
	36	'negated_conjecture'=46
	37	'plain'=47
	38	'tff'=37
	39	'theorem'=44
	40	'type'=48
	41	'unknown'=52
	42	'\|'=61
	43	'~&'=59
	44	'~'=65
	45	'~\|'=58
	46	RULE_ALPHA_NUMERIC=15
	47	RULE_ANY_OTHER=22
	48	RULE_DOLLAR_ID=9
	49	RULE_DOUBLE_DOLLAR_ID=10
	50	RULE_DOUBLE_QUOTE=14
	51	RULE_ID=21
	52	RULE_INT=17
	53	RULE_LITERAL=6
	54	RULE_LOWER_WORD_ID=5
	55	RULE_ML_COMMENT=24
	56	RULE_SIGN=16
	57	RULE_SIGNED_LITERAL=7
	58	RULE_SIGNED_RAT_ID=13
	59	RULE_SIGNED_REAL_ID=12
	60	RULE_SINGLE_COMMENT=8
	61	RULE_SINGLE_QUOTE=4
	62	RULE_SL_COMMENT=25
	63	RULE_STRING=23
	64	RULE_UNSIGNED_RAT_ID=20
	65	RULE_UNSIGNED_REAL_EXP_ID=19
	66	RULE_UNSIGNED_REAL_FRAC_ID=18
	67	RULE_UPPER_WORD_ID=11
	68	RULE_WS=26
	69	T__27=27
	70	T__28=28
	71	T__29=29
	72	T__30=30
	73	T__31=31
	74	T__32=32
	75	T__33=33
	76	T__34=34
	77	T__35=35
	78	T__36=36
	79	T__37=37
	80	T__38=38
	81	T__39=39
	82	T__40=40
	83	T__41=41
	84	T__42=42
	85	T__43=43
	86	T__44=44
	87	T__45=45
	88	T__46=46
	89	T__47=47
	90	T__48=48
	91	T__49=49
	92	T__50=50
	93	T__51=51
	94	T__52=52
	95	T__53=53
	96	T__54=54
	97	T__55=55
	98	T__56=56
	99	T__57=57
	100	T__58=58
	101	T__59=59
	102	T__60=60
	103	T__61=61
	104	T__62=62
	105	T__63=63
	106	T__64=64
	107	T__65=65
	108	T__66=66
	109	T__67=67
	110	T__68=68
	111	T__69=69
	112	T__70=70
	113	T__71=71