1 files changed, 27 insertions, 25 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 72d5159d..95d8ec8a 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,23 +1,24 @@
-'!'=59
+'!'=60
-'!='=63
+'!='=64
-'$false'=67
+'$false'=68
-'$less'=68
+'$less'=69
-'$true'=66
+'$true'=67
-'&'=57
+'%'=46
-'('=47
+'&'=58
-')'=48
+'('=48
+')'=49
 ','=45
 ',['=43
-'.'=49
+'.'=50
-':'=60
+':'=61
-':='=65
+':='=66
-'<='=53
+'<='=54
-'<=>'=51
+'<=>'=52
-'<~>'=54
+'<~>'=55
-'='=64
+'='=65
-'=>'=52
+'=>'=53
-'?'=61
+'?'=62
-'['=50
+'['=51
 ']'=44
 'assumption'=31
 'axiom'=27
@@ -27,7 +28,7 @@
 'fi_domain'=38
 'fi_functors'=39
 'fi_predicates'=40
-'fof'=46
+'fof'=47
 'hypothesis'=29
 'include('=42
 'lemma'=32
@@ -36,16 +37,16 @@
 'theorem'=33
 'type'=37
 'unknown'=41
-'|'=58
+'|'=59
-'~&'=56
+'~&'=57
-'~'=62
+'~'=63
-'~|'=55
+'~|'=56
 RULE_ALPHA_NUMERIC=15
-RULE_ANY_OTHER=21
+RULE_ANY_OTHER=22
 RULE_DOLLAR_ID=8
 RULE_DOUBLE_DOLLAR_ID=9
 RULE_DOUBLE_QUOTE=14
-RULE_ID=22
+RULE_ID=21
 RULE_INT=17
 RULE_LITERAL=6
 RULE_LOWER_WORD_ID=4
@@ -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.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 72d5159d..95d8ec8a 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,23 +1,24 @@
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	'%'=46
7	'('=47	7	'&'=58
8	')'=48	8	'('=48
		9	')'=49
9	','=45	10	','=45
10	',['=43	11	',['=43
11	'.'=49	12	'.'=50
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	']'=44	22	']'=44
22	'assumption'=31	23	'assumption'=31
23	'axiom'=27	24	'axiom'=27
@@ -27,7 +28,7 @@
27	'fi_domain'=38	28	'fi_domain'=38
28	'fi_functors'=39	29	'fi_functors'=39
29	'fi_predicates'=40	30	'fi_predicates'=40
30	'fof'=46	31	'fof'=47
31	'hypothesis'=29	32	'hypothesis'=29
32	'include('=42	33	'include('=42
33	'lemma'=32	34	'lemma'=32
@@ -36,16 +37,16 @@
36	'theorem'=33	37	'theorem'=33
37	'type'=37	38	'type'=37
38	'unknown'=41	39	'unknown'=41
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=8	46	RULE_DOLLAR_ID=8
46	RULE_DOUBLE_DOLLAR_ID=9	47	RULE_DOUBLE_DOLLAR_ID=9
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=4	52	RULE_LOWER_WORD_ID=4
@@ -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