aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ContainmentMapper.xtend
diff options
context:
space:
mode:
authorLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-08-29 06:26:02 -0400
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-08-29 06:26:02 -0400
commit9ef9aef5ef8baa7e579d4eb4a5d27a7983f32c8b (patch)
tree0dd50253bffe482ae15f5b8c5fc46bbbad45f0e4 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ContainmentMapper.xtend
parentVAMPIRE: integrate local Vampire executeable #32 (diff)
downloadVIATRA-Generator-9ef9aef5ef8baa7e579d4eb4a5d27a7983f32c8b.tar.gz
VIATRA-Generator-9ef9aef5ef8baa7e579d4eb4a5d27a7983f32c8b.tar.zst
VIATRA-Generator-9ef9aef5ef8baa7e579d4eb4a5d27a7983f32c8b.zip
VAMPIRE: adapt grammar to Vampire solution + get model from text
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ContainmentMapper.xtend')
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ContainmentMapper.xtend2
1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ContainmentMapper.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ContainmentMapper.xtend
index 93c28e7c..c79003bd 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ContainmentMapper.xtend
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ContainmentMapper.xtend
@@ -189,7 +189,7 @@ class Logic2VampireLanguageMapper_ContainmentMapper {
189 189
190// STEP 2 CONT'D 190// STEP 2 CONT'D
191 for (e : type2cont.entrySet) { 191 for (e : type2cont.entrySet) {
192 println(e.key + " " + e.value) 192// println(e.key + " " + e.value)
193 val relFormula = createVLSFofFormula => [ 193 val relFormula = createVLSFofFormula => [
194 it.name = support.toIDMultiple("containment_contained", e.key.constant.toString) 194 it.name = support.toIDMultiple("containment_contained", e.key.constant.toString)
195 it.fofRole = "axiom" 195 it.fofRole = "axiom"