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