1 files changed, 42 insertions, 40 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 9a2d1db3..cc616854 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,51 +1,52 @@
-'!'=59
+'!'=60
-'!='=63
+'!='=64
-'$false'=67
+'$false'=68
-'$less'=68
+'$less'=69
-'$true'=66
+'$true'=67
-'&'=57
+'%'=31
-'('=32
+'&'=58
-')'=33
+'('=33
+')'=34
 ','=29
 ',['=28
-'.'=34
+'.'=35
-':'=60
+':'=61
-':='=65
+':='=66
-'<='=53
+'<='=54
-'<=>'=51
+'<=>'=52
-'<~>'=54
+'<~>'=55
-'='=64
+'='=65
-'=>'=52
+'=>'=53
-'?'=61
+'?'=62
-'['=50
+'['=51
 ']'=30
-'assumption'=39
+'assumption'=40
-'axiom'=35
+'axiom'=36
-'conjecture'=36
+'conjecture'=37
-'corollary'=42
+'corollary'=43
-'definition'=38
+'definition'=39
-'fi_domain'=46
+'fi_domain'=47
-'fi_functors'=47
+'fi_functors'=48
-'fi_predicates'=48
+'fi_predicates'=49
-'fof'=31
+'fof'=32
-'hypothesis'=37
+'hypothesis'=38
 'include('=27
-'lemma'=40
+'lemma'=41
-'negated_conjecture'=43
+'negated_conjecture'=44
-'plain'=44
+'plain'=45
-'theorem'=41
+'theorem'=42
-'type'=45
+'type'=46
-'unknown'=49
+'unknown'=50
-'|'=58
+'|'=59
-'~&'=56
+'~&'=57
-'~'=62
+'~'=63
-'~|'=55
+'~|'=56
 RULE_ALPHA_NUMERIC=15
-RULE_ANY_OTHER=21
+RULE_ANY_OTHER=22
 RULE_DOLLAR_ID=9
 RULE_DOUBLE_DOLLAR_ID=10
 RULE_DOUBLE_QUOTE=14
-RULE_ID=22
+RULE_ID=21
 RULE_INT=17
 RULE_LITERAL=6
 RULE_LOWER_WORD_ID=5
@@ -105,3 +106,4 @@ T__65=65
 T__66=66
 T__67=67
 T__68=68
+T__69=69

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 9a2d1db3..cc616854 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,51 +1,52 @@
1	'!'=59	1	'!'=60
2	'!='=63	2	'!='=64
3	'$false'=67	3	'$false'=68
4	'$less'=68	4	'$less'=69
5	'$true'=66	5	'$true'=67
6	'&'=57	6	'%'=31
7	'('=32	7	'&'=58
8	')'=33	8	'('=33
		9	')'=34
9	','=29	10	','=29
10	',['=28	11	',['=28
11	'.'=34	12	'.'=35
12	':'=60	13	':'=61
13	':='=65	14	':='=66
14	'<='=53	15	'<='=54
15	'<=>'=51	16	'<=>'=52
16	'<~>'=54	17	'<~>'=55
17	'='=64	18	'='=65
18	'=>'=52	19	'=>'=53
19	'?'=61	20	'?'=62
20	'['=50	21	'['=51
21	']'=30	22	']'=30
22	'assumption'=39	23	'assumption'=40
23	'axiom'=35	24	'axiom'=36
24	'conjecture'=36	25	'conjecture'=37
25	'corollary'=42	26	'corollary'=43
26	'definition'=38	27	'definition'=39
27	'fi_domain'=46	28	'fi_domain'=47
28	'fi_functors'=47	29	'fi_functors'=48
29	'fi_predicates'=48	30	'fi_predicates'=49
30	'fof'=31	31	'fof'=32
31	'hypothesis'=37	32	'hypothesis'=38
32	'include('=27	33	'include('=27
33	'lemma'=40	34	'lemma'=41
34	'negated_conjecture'=43	35	'negated_conjecture'=44
35	'plain'=44	36	'plain'=45
36	'theorem'=41	37	'theorem'=42
37	'type'=45	38	'type'=46
38	'unknown'=49	39	'unknown'=50
39	'\|'=58	40	'\|'=59
40	'~&'=56	41	'~&'=57
41	'~'=62	42	'~'=63
42	'~\|'=55	43	'~\|'=56
43	RULE_ALPHA_NUMERIC=15	44	RULE_ALPHA_NUMERIC=15
44	RULE_ANY_OTHER=21	45	RULE_ANY_OTHER=22
45	RULE_DOLLAR_ID=9	46	RULE_DOLLAR_ID=9
46	RULE_DOUBLE_DOLLAR_ID=10	47	RULE_DOUBLE_DOLLAR_ID=10
47	RULE_DOUBLE_QUOTE=14	48	RULE_DOUBLE_QUOTE=14
48	RULE_ID=22	49	RULE_ID=21
49	RULE_INT=17	50	RULE_INT=17
50	RULE_LITERAL=6	51	RULE_LITERAL=6
51	RULE_LOWER_WORD_ID=5	52	RULE_LOWER_WORD_ID=5
@@ -105,3 +106,4 @@ T__65=65
105	T__66=66	106	T__66=66
106	T__67=67	107	T__67=67
107	T__68=68	108	T__68=68
		109	T__69=69