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