diff options
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.java')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.java | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.java index 7228b48a..0c1b3fe9 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.java +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.java | |||
@@ -1,8 +1,6 @@ | |||
1 | package ca.mcgill.ecse.dslreasoner.vampire.test; | 1 | package ca.mcgill.ecse.dslreasoner.vampire.test; |
2 | 2 | ||
3 | import ca.mcgill.ecse.dslreasoner.VampireLanguageStandaloneSetup; | 3 | import ca.mcgill.ecse.dslreasoner.VampireLanguageStandaloneSetup; |
4 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver; | ||
5 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration; | ||
6 | import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.Ecore2logicannotationsPackage; | 4 | import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.Ecore2logicannotationsPackage; |
7 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.DocumentationLevel; | 5 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.DocumentationLevel; |
8 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicProblemBuilder; | 6 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicProblemBuilder; |
@@ -26,6 +24,8 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; | |||
26 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; | 24 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; |
27 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult; | 25 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult; |
28 | import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage; | 26 | import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage; |
27 | import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ViatraReasoner; | ||
28 | import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ViatraReasonerConfiguration; | ||
29 | import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace; | 29 | import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace; |
30 | import java.util.Map; | 30 | import java.util.Map; |
31 | import org.eclipse.emf.common.util.EList; | 31 | import org.eclipse.emf.common.util.EList; |
@@ -65,14 +65,14 @@ public class VampireTest { | |||
65 | InputOutput.<String>println("Problem Created"); | 65 | InputOutput.<String>println("Problem Created"); |
66 | LogicResult solution = null; | 66 | LogicResult solution = null; |
67 | LogicReasoner reasoner = null; | 67 | LogicReasoner reasoner = null; |
68 | VampireSolver _vampireSolver = new VampireSolver(); | 68 | ViatraReasoner _viatraReasoner = new ViatraReasoner(); |
69 | reasoner = _vampireSolver; | 69 | reasoner = _viatraReasoner; |
70 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); | 70 | ViatraReasonerConfiguration _viatraReasonerConfiguration = new ViatraReasonerConfiguration(); |
71 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { | 71 | final Procedure1<ViatraReasonerConfiguration> _function = (ViatraReasonerConfiguration it) -> { |
72 | it.documentationLevel = DocumentationLevel.FULL; | 72 | it.documentationLevel = DocumentationLevel.FULL; |
73 | it.typeScopes.minNewElements = 4; | 73 | it.typeScopes.minNewElements = 4; |
74 | }; | 74 | }; |
75 | final VampireSolverConfiguration vampireConfig = ObjectExtensions.<VampireSolverConfiguration>operator_doubleArrow(_vampireSolverConfiguration, _function); | 75 | final ViatraReasonerConfiguration vampireConfig = ObjectExtensions.<ViatraReasonerConfiguration>operator_doubleArrow(_viatraReasonerConfiguration, _function); |
76 | solution = reasoner.solve(problem, vampireConfig, workspace); | 76 | solution = reasoner.solve(problem, vampireConfig, workspace); |
77 | InputOutput.<String>println("Problem Solved"); | 77 | InputOutput.<String>println("Problem Solved"); |
78 | } catch (Throwable _e) { | 78 | } catch (Throwable _e) { |