1 files changed, 107 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..72d5159d
--- /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,107 @@
+'!'=59
+'!='=63
+'$false'=67
+'$less'=68
+'$true'=66
+'&'=57
+'('=47
+')'=48
+','=45
+',['=43
+'.'=49
+':'=60
+':='=65
+'<='=53
+'<=>'=51
+'<~>'=54
+'='=64
+'=>'=52
+'?'=61
+'['=50
+']'=44
+'assumption'=31
+'axiom'=27
+'conjecture'=28
+'corollary'=34
+'definition'=30
+'fi_domain'=38
+'fi_functors'=39
+'fi_predicates'=40
+'fof'=46
+'hypothesis'=29
+'include('=42
+'lemma'=32
+'negated_conjecture'=35
+'plain'=36
+'theorem'=33
+'type'=37
+'unknown'=41
+'|'=58
+'~&'=56
+'~'=62
+'~|'=55
+RULE_ALPHA_NUMERIC=15
+RULE_ANY_OTHER=21
+RULE_DOLLAR_ID=8
+RULE_DOUBLE_DOLLAR_ID=9
+RULE_DOUBLE_QUOTE=14
+RULE_ID=22
+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

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