diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_RelationMapper.xtend')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_RelationMapper.xtend | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_RelationMapper.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_RelationMapper.xtend index deb24778..0ae06bc3 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_RelationMapper.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_RelationMapper.xtend | |||
@@ -7,6 +7,7 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable | |||
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction | 7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction |
8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm | 8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm |
9 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable | 9 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable |
10 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula | ||
10 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguageFactory | 11 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguageFactory |
11 | import java.util.ArrayList | 12 | import java.util.ArrayList |
12 | import java.util.HashMap | 13 | import java.util.HashMap |
@@ -43,7 +44,7 @@ class Logic2VampireLanguageMapper_RelationMapper { | |||
43 | 44 | ||
44 | } | 45 | } |
45 | 46 | ||
46 | val comply = createVLSFofFormula => [ | 47 | val comply = createVLSFofFormula=> [ |
47 | val nameArray = r.name.split(" ") | 48 | val nameArray = r.name.split(" ") |
48 | it.name = support.toIDMultiple("compliance", nameArray.get(0), nameArray.get(2)) | 49 | it.name = support.toIDMultiple("compliance", nameArray.get(0), nameArray.get(2)) |
49 | it.fofRole = "axiom" | 50 | it.fofRole = "axiom" |