From 07073f142e982a1b9fb08255c8eb74d18dbf7a34 Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Wed, 16 Jan 2019 01:41:23 -0500
Subject: FAM MM transformation works

---
 .../antlr/internal/InternalVampireLanguage.tokens  | 82 +++++++++++-----------
 1 file changed, 42 insertions(+), 40 deletions(-)

(limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.tokens')

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
-'!='=63
-'$false'=67
-'$less'=68
-'$true'=66
-'&'=57
-'('=32
-')'=33
+'!'=60
+'!='=64
+'$false'=68
+'$less'=69
+'$true'=67
+'%'=31
+'&'=58
+'('=33
+')'=34
 ','=29
 ',['=28
-'.'=34
-':'=60
-':='=65
-'<='=53
-'<=>'=51
-'<~>'=54
-'='=64
-'=>'=52
-'?'=61
-'['=50
+'.'=35
+':'=61
+':='=66
+'<='=54
+'<=>'=52
+'<~>'=55
+'='=65
+'=>'=53
+'?'=62
+'['=51
 ']'=30
-'assumption'=39
-'axiom'=35
-'conjecture'=36
-'corollary'=42
-'definition'=38
-'fi_domain'=46
-'fi_functors'=47
-'fi_predicates'=48
-'fof'=31
-'hypothesis'=37
+'assumption'=40
+'axiom'=36
+'conjecture'=37
+'corollary'=43
+'definition'=39
+'fi_domain'=47
+'fi_functors'=48
+'fi_predicates'=49
+'fof'=32
+'hypothesis'=38
 'include('=27
-'lemma'=40
-'negated_conjecture'=43
-'plain'=44
-'theorem'=41
-'type'=45
-'unknown'=49
-'|'=58
-'~&'=56
-'~'=62
-'~|'=55
+'lemma'=41
+'negated_conjecture'=44
+'plain'=45
+'theorem'=42
+'type'=46
+'unknown'=50
+'|'=59
+'~&'=57
+'~'=63
+'~|'=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
-- 
cgit v1.2.3-54-g00ecf