1 files changed, 27 insertions, 23 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
index 95d8ec8a..8c5830d1 100644
--- 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
@@ -1,24 +1,25 @@
-'!'=60
+'!'=62
-'!='=64
+'!='=66
-'$false'=68
+'$false'=70
-'$less'=69
+'$less'=71
-'$true'=67
+'$true'=69
 '%'=46
-'&'=58
+'&'=60
-'('=48
+'('=49
-')'=49
+')'=50
 ','=45
 ',['=43
-'.'=50
+'.'=51
-':'=61
+':'=63
-':='=66
+':='=68
-'<='=54
+'<='=56
-'<=>'=52
+'<=>'=54
-'<~>'=55
+'<~>'=57
-'='=65
+'='=67
-'=>'=53
+'=>'=55
-'?'=62
+'?'=64
-'['=51
+'Satisfiable!'=47
+'['=53
 ']'=44
 'assumption'=31
 'axiom'=27
@@ -28,19 +29,20 @@
 'fi_domain'=38
 'fi_functors'=39
 'fi_predicates'=40
-'fof'=47
+'fof'=48
 'hypothesis'=29
 'include('=42
 'lemma'=32
 'negated_conjecture'=35
 'plain'=36
+'tff'=52
 'theorem'=33
 'type'=37
 'unknown'=41
-'|'=59
+'|'=61
-'~&'=57
+'~&'=59
-'~'=63
+'~'=65
-'~|'=56
+'~|'=58
 RULE_ALPHA_NUMERIC=15
 RULE_ANY_OTHER=22
 RULE_DOLLAR_ID=8
@@ -107,3 +109,5 @@ 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 index 95d8ec8a..8c5830d1 100644 --- 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
@@ -1,24 +1,25 @@
1	'!'=60	1	'!'=62
2	'!='=64	2	'!='=66
3	'$false'=68	3	'$false'=70
4	'$less'=69	4	'$less'=71
5	'$true'=67	5	'$true'=69
6	'%'=46	6	'%'=46
7	'&'=58	7	'&'=60
8	'('=48	8	'('=49
9	')'=49	9	')'=50
10	','=45	10	','=45
11	',['=43	11	',['=43
12	'.'=50	12	'.'=51
13	':'=61	13	':'=63
14	':='=66	14	':='=68
15	'<='=54	15	'<='=56
16	'<=>'=52	16	'<=>'=54
17	'<~>'=55	17	'<~>'=57
18	'='=65	18	'='=67
19	'=>'=53	19	'=>'=55
20	'?'=62	20	'?'=64
21	'['=51	21	'Satisfiable!'=47
		22	'['=53
22	']'=44	23	']'=44
23	'assumption'=31	24	'assumption'=31
24	'axiom'=27	25	'axiom'=27
@@ -28,19 +29,20 @@
28	'fi_domain'=38	29	'fi_domain'=38
29	'fi_functors'=39	30	'fi_functors'=39
30	'fi_predicates'=40	31	'fi_predicates'=40
31	'fof'=47	32	'fof'=48
32	'hypothesis'=29	33	'hypothesis'=29
33	'include('=42	34	'include('=42
34	'lemma'=32	35	'lemma'=32
35	'negated_conjecture'=35	36	'negated_conjecture'=35
36	'plain'=36	37	'plain'=36
		38	'tff'=52
37	'theorem'=33	39	'theorem'=33
38	'type'=37	40	'type'=37
39	'unknown'=41	41	'unknown'=41
40	'\|'=59	42	'\|'=61
41	'~&'=57	43	'~&'=59
42	'~'=63	44	'~'=65
43	'~\|'=56	45	'~\|'=58
44	RULE_ALPHA_NUMERIC=15	46	RULE_ALPHA_NUMERIC=15
45	RULE_ANY_OTHER=22	47	RULE_ANY_OTHER=22
46	RULE_DOLLAR_ID=8	48	RULE_DOLLAR_ID=8
@@ -107,3 +109,5 @@ T__66=66
107	T__67=67	109	T__67=67
108	T__68=68	110	T__68=68
109	T__69=69	111	T__69=69
		112	T__70=70
		113	T__71=71