diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-04-24 02:30:50 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:37:01 -0400 |
commit | 13cb6b35e97b79e8e4f415becf916dfaafc5d315 (patch) | |
tree | c628f428133a3d24eb9c1456eb00ab19d5797b4d /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.xtend | |
parent | VAMPIRE: close #22, improve test structure for #39, .vql file trouble (diff) | |
download | VIATRA-Generator-13cb6b35e97b79e8e4f415becf916dfaafc5d315.tar.gz VIATRA-Generator-13cb6b35e97b79e8e4f415becf916dfaafc5d315.tar.zst VIATRA-Generator-13cb6b35e97b79e8e4f415becf916dfaafc5d315.zip |
VAMPIRE: add to #40. I am tired
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.xtend')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.xtend | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.xtend index 22bd4ab5..b9928383 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.xtend | |||
@@ -30,6 +30,8 @@ class Logic2VampireLanguageMapperTrace { | |||
30 | //Necessary containers | 30 | //Necessary containers |
31 | public var Logic2VampireLanguageMapper_TypeMapperTrace typeMapperTrace | 31 | public var Logic2VampireLanguageMapper_TypeMapperTrace typeMapperTrace |
32 | 32 | ||
33 | public var Map<DefinedElement, String> definedElement2String = new HashMap | ||
34 | |||
33 | public val Map<Type, VLSFunction> type2Predicate = new HashMap; | 35 | public val Map<Type, VLSFunction> type2Predicate = new HashMap; |
34 | public val Map<DefinedElement, VLSFunction> element2Predicate = new HashMap | 36 | public val Map<DefinedElement, VLSFunction> element2Predicate = new HashMap |
35 | public val Map<Type, VLSTerm> type2PossibleNot = new HashMap | 37 | public val Map<Type, VLSTerm> type2PossibleNot = new HashMap |