1 files changed, 42 insertions, 38 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
index cc616854..b7074acc 100644
--- 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
@@ -1,46 +1,48 @@
-'!'=60
+'!'=62
-'!='=64
+'!='=66
-'$false'=68
+'$false'=70
-'$less'=69
+'$less'=71
-'$true'=67
+'$true'=69
 '%'=31
-'&'=58
+'&'=60
-'('=33
+'('=34
-')'=34
+')'=35
 ','=29
 ',['=28
-'.'=35
+'.'=36
-':'=61
+':'=63
-':='=66
+':='=68
-'<='=54
+'<='=56
-'<=>'=52
+'<=>'=54
-'<~>'=55
+'<~>'=57
-'='=65
+'='=67
-'=>'=53
+'=>'=55
-'?'=62
+'?'=64
-'['=51
+'Satisfiable!'=32
+'['=53
 ']'=30
-'assumption'=40
+'assumption'=42
-'axiom'=36
+'axiom'=38
-'conjecture'=37
+'conjecture'=39
-'corollary'=43
+'corollary'=45
-'definition'=39
+'definition'=41
-'fi_domain'=47
+'fi_domain'=49
-'fi_functors'=48
+'fi_functors'=50
-'fi_predicates'=49
+'fi_predicates'=51
-'fof'=32
+'fof'=33
-'hypothesis'=38
+'hypothesis'=40
 'include('=27
-'lemma'=41
+'lemma'=43
-'negated_conjecture'=44
+'negated_conjecture'=46
-'plain'=45
+'plain'=47
-'theorem'=42
+'tff'=37
-'type'=46
+'theorem'=44
-'unknown'=50
+'type'=48
-'|'=59
+'unknown'=52
-'~&'=57
+'|'=61
-'~'=63
+'~&'=59
-'~|'=56
+'~'=65
+'~|'=58
 RULE_ALPHA_NUMERIC=15
 RULE_ANY_OTHER=22
 RULE_DOLLAR_ID=9
@@ -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/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 index cc616854..b7074acc 100644 --- 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
@@ -1,46 +1,48 @@
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	'%'=31	6	'%'=31
7	'&'=58	7	'&'=60
8	'('=33	8	'('=34
9	')'=34	9	')'=35
10	','=29	10	','=29
11	',['=28	11	',['=28
12	'.'=35	12	'.'=36
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!'=32
		22	'['=53
22	']'=30	23	']'=30
23	'assumption'=40	24	'assumption'=42
24	'axiom'=36	25	'axiom'=38
25	'conjecture'=37	26	'conjecture'=39
26	'corollary'=43	27	'corollary'=45
27	'definition'=39	28	'definition'=41
28	'fi_domain'=47	29	'fi_domain'=49
29	'fi_functors'=48	30	'fi_functors'=50
30	'fi_predicates'=49	31	'fi_predicates'=51
31	'fof'=32	32	'fof'=33
32	'hypothesis'=38	33	'hypothesis'=40
33	'include('=27	34	'include('=27
34	'lemma'=41	35	'lemma'=43
35	'negated_conjecture'=44	36	'negated_conjecture'=46
36	'plain'=45	37	'plain'=47
37	'theorem'=42	38	'tff'=37
38	'type'=46	39	'theorem'=44
39	'unknown'=50	40	'type'=48
40	'\|'=59	41	'unknown'=52
41	'~&'=57	42	'\|'=61
42	'~'=63	43	'~&'=59
43	'~\|'=56	44	'~'=65
		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=9	48	RULE_DOLLAR_ID=9
@@ -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