1 files changed, 87 insertions, 64 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 b7074acc..dd01b9b0 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,71 +1,85 @@
-'!'=62
+'!'=72
-'!='=66
+'!='=75
-'$false'=70
+'$false'=79
-'$less'=71
+'$less'=80
-'$true'=69
+'$true'=78
-'%'=31
+'&'=70
-'&'=60
+'('=38
-'('=34
+')'=40
-')'=35
+'*'=63
-','=29
+','=39
-',['=28
+'.'=41
-'.'=36
+':'=61
-':'=63
+':='=77
-':='=68
+'<='=66
-'<='=56
+'<=>'=64
-'<=>'=54
+'<~>'=67
-'<~>'=57
+'='=76
-'='=67
+'=>'=65
-'=>'=55
+'>'=62
-'?'=64
+'?'=73
-'Satisfiable!'=32
+'Could'=24
-'['=53
+'Finite'=34
-']'=30
+'Found!'=36
-'assumption'=42
+'Model'=35
-'axiom'=38
+'Satisfiable!'=22
-'conjecture'=39
+'TRYING'=31
-'corollary'=45
+'Virtual'=29
-'definition'=41
+'WARNING!'=23
-'fi_domain'=49
+'['=32
-'fi_functors'=50
+']'=33
-'fi_predicates'=51
+'assumption'=50
-'fof'=33
+'axiom'=46
-'hypothesis'=40
+'conjecture'=47
-'include('=27
+'corollary'=53
-'lemma'=43
+'declare_'=45
-'negated_conjecture'=46
+'definition'=49
-'plain'=47
+'distinct_domain'=43
-'tff'=37
+'fi_domain'=57
-'theorem'=44
+'fi_functors'=58
-'type'=48
+'fi_predicates'=59
-'unknown'=52
+'finite_domain'=44
-'|'=61
+'fof'=37
-'~&'=59
+'hypothesis'=48
-'~'=65
+'lemma'=51
-'~|'=58
+'limit:'=28
-RULE_ALPHA_NUMERIC=15
+'memory.'=30
-RULE_ANY_OTHER=22
+'negated_conjecture'=54
+'not'=25
+'plain'=55
+'resource'=27
+'set'=26
+'tff'=42
+'theorem'=52
+'type'=56
+'unknown'=60
+'|'=71
+'~&'=69
+'~'=74
+'~|'=68
+RULE_ALPHA_NUMERIC=13
+RULE_ANY_OTHER=21
 RULE_DOLLAR_ID=9
 RULE_DOUBLE_DOLLAR_ID=10
-RULE_DOUBLE_QUOTE=14
+RULE_DOUBLE_QUOTE=12
-RULE_ID=21
+RULE_ID=16
-RULE_INT=17
+RULE_INT=15
-RULE_LITERAL=6
+RULE_LITERAL=5
-RULE_LOWER_WORD_ID=5
+RULE_LOWER_WORD_ID=6
-RULE_ML_COMMENT=24
+RULE_ML_COMMENT=18
-RULE_SIGN=16
+RULE_SIGN=14
 RULE_SIGNED_LITERAL=7
-RULE_SIGNED_RAT_ID=13
+RULE_SINGLE_COMMENT=4
-RULE_SIGNED_REAL_ID=12
+RULE_SINGLE_QUOTE=8
-RULE_SINGLE_COMMENT=8
+RULE_SL_COMMENT=19
-RULE_SINGLE_QUOTE=4
+RULE_STRING=17
-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
+RULE_WS=20
+T__22=22
+T__23=23
+T__24=24
+T__25=25
+T__26=26
 T__27=27
 T__28=28
 T__29=29
@@ -111,3 +125,12 @@ T__68=68
 T__69=69
 T__70=70
 T__71=71
+T__72=72
+T__73=73
+T__74=74
+T__75=75
+T__76=76
+T__77=77
+T__78=78
+T__79=79
+T__80=80

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 b7074acc..dd01b9b0 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,71 +1,85 @@
1	'!'=62	1	'!'=72
2	'!='=66	2	'!='=75
3	'$false'=70	3	'$false'=79
4	'$less'=71	4	'$less'=80
5	'$true'=69	5	'$true'=78
6	'%'=31	6	'&'=70
7	'&'=60	7	'('=38
8	'('=34	8	')'=40
9	')'=35	9	'*'=63
10	','=29	10	','=39
11	',['=28	11	'.'=41
12	'.'=36	12	':'=61
13	':'=63	13	':='=77
14	':='=68	14	'<='=66
15	'<='=56	15	'<=>'=64
16	'<=>'=54	16	'<~>'=67
17	'<~>'=57	17	'='=76
18	'='=67	18	'=>'=65
19	'=>'=55	19	'>'=62
20	'?'=64	20	'?'=73
21	'Satisfiable!'=32	21	'Could'=24
22	'['=53	22	'Finite'=34
23	']'=30	23	'Found!'=36
24	'assumption'=42	24	'Model'=35
25	'axiom'=38	25	'Satisfiable!'=22
26	'conjecture'=39	26	'TRYING'=31
27	'corollary'=45	27	'Virtual'=29
28	'definition'=41	28	'WARNING!'=23
29	'fi_domain'=49	29	'['=32
30	'fi_functors'=50	30	']'=33
31	'fi_predicates'=51	31	'assumption'=50
32	'fof'=33	32	'axiom'=46
33	'hypothesis'=40	33	'conjecture'=47
34	'include('=27	34	'corollary'=53
35	'lemma'=43	35	'declare_'=45
36	'negated_conjecture'=46	36	'definition'=49
37	'plain'=47	37	'distinct_domain'=43
38	'tff'=37	38	'fi_domain'=57
39	'theorem'=44	39	'fi_functors'=58
40	'type'=48	40	'fi_predicates'=59
41	'unknown'=52	41	'finite_domain'=44
42	'\|'=61	42	'fof'=37
43	'~&'=59	43	'hypothesis'=48
44	'~'=65	44	'lemma'=51
45	'~\|'=58	45	'limit:'=28
46	RULE_ALPHA_NUMERIC=15	46	'memory.'=30
47	RULE_ANY_OTHER=22	47	'negated_conjecture'=54
		48	'not'=25
		49	'plain'=55
		50	'resource'=27
		51	'set'=26
		52	'tff'=42
		53	'theorem'=52
		54	'type'=56
		55	'unknown'=60
		56	'\|'=71
		57	'~&'=69
		58	'~'=74
		59	'~\|'=68
		60	RULE_ALPHA_NUMERIC=13
		61	RULE_ANY_OTHER=21
48	RULE_DOLLAR_ID=9	62	RULE_DOLLAR_ID=9
49	RULE_DOUBLE_DOLLAR_ID=10	63	RULE_DOUBLE_DOLLAR_ID=10
50	RULE_DOUBLE_QUOTE=14	64	RULE_DOUBLE_QUOTE=12
51	RULE_ID=21	65	RULE_ID=16
52	RULE_INT=17	66	RULE_INT=15
53	RULE_LITERAL=6	67	RULE_LITERAL=5
54	RULE_LOWER_WORD_ID=5	68	RULE_LOWER_WORD_ID=6
55	RULE_ML_COMMENT=24	69	RULE_ML_COMMENT=18
56	RULE_SIGN=16	70	RULE_SIGN=14
57	RULE_SIGNED_LITERAL=7	71	RULE_SIGNED_LITERAL=7
58	RULE_SIGNED_RAT_ID=13	72	RULE_SINGLE_COMMENT=4
59	RULE_SIGNED_REAL_ID=12	73	RULE_SINGLE_QUOTE=8
60	RULE_SINGLE_COMMENT=8	74	RULE_SL_COMMENT=19
61	RULE_SINGLE_QUOTE=4	75	RULE_STRING=17
62	RULE_SL_COMMENT=25
63	RULE_STRING=23
64	RULE_UNSIGNED_RAT_ID=20
65	RULE_UNSIGNED_REAL_EXP_ID=19
66	RULE_UNSIGNED_REAL_FRAC_ID=18
67	RULE_UPPER_WORD_ID=11	76	RULE_UPPER_WORD_ID=11
68	RULE_WS=26	77	RULE_WS=20
		78	T__22=22
		79	T__23=23
		80	T__24=24
		81	T__25=25
		82	T__26=26
69	T__27=27	83	T__27=27
70	T__28=28	84	T__28=28
71	T__29=29	85	T__29=29
@@ -111,3 +125,12 @@ T__68=68
111	T__69=69	125	T__69=69
112	T__70=70	126	T__70=70
113	T__71=71	127	T__71=71
		128	T__72=72
		129	T__73=73
		130	T__74=74
		131	T__75=75
		132	T__76=76
		133	T__77=77
		134	T__78=78
		135	T__79=79
		136	T__80=80