diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolver.xtend')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolver.xtend | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolver.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolver.xtend index 6bb49080..1fd40801 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolver.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolver.xtend | |||
@@ -6,6 +6,8 @@ import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguage | |||
6 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Vampire2LogicMapper | 6 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Vampire2LogicMapper |
7 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.VampireHandler | 7 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.VampireHandler |
8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage | 8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage |
9 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel | ||
10 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguageFactoryImpl | ||
9 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.DocumentationLevel | 11 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.DocumentationLevel |
10 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicReasoner | 12 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicReasoner |
11 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicReasonerException | 13 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicReasonerException |
@@ -13,7 +15,7 @@ import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicSolverConfiguration | |||
13 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem | 15 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem |
14 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult | 16 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult |
15 | import hu.bme.mit.inf.dslreasoner.workspace.ReasonerWorkspace | 17 | import hu.bme.mit.inf.dslreasoner.workspace.ReasonerWorkspace |
16 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapper_TypeMapper | 18 | import org.eclipse.emf.ecore.resource.Resource |
17 | 19 | ||
18 | class VampireSolver extends LogicReasoner { | 20 | class VampireSolver extends LogicReasoner { |
19 | 21 | ||
@@ -55,6 +57,16 @@ class VampireSolver extends LogicReasoner { | |||
55 | if (writeFile) { | 57 | if (writeFile) { |
56 | fileURI = workspace.writeModel(vampireProblem, fileName).toFileString | 58 | fileURI = workspace.writeModel(vampireProblem, fileName).toFileString |
57 | } | 59 | } |
60 | |||
61 | |||
62 | |||
63 | // Resource.Factory.Registry.INSTANCE.getExtensionToFactoryMap().put("tptp", new VampireLanguageFactoryImpl) | ||
64 | //// val Resource resource = Resource. | ||
65 | //// Resource.getResource(wsURI+"problem.tptp") as Resource | ||
66 | //// resource | ||
67 | // val model = workspace.readModel(VampireModel, "problem.tptp").eResource.contents | ||
68 | // println(model) | ||
69 | |||
58 | 70 | ||
59 | // Result as String | 71 | // Result as String |
60 | val transformationTime = System.currentTimeMillis - transformationStart | 72 | val transformationTime = System.currentTimeMillis - transformationStart |