diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-04 17:31:16 -0500 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-04 17:31:16 -0500 |
commit | 2c05097ccbeeadd70b20f5001ebeb22ffdc465de (patch) | |
tree | 88662460674d49bff71d051d3a59a0929f1cfa5f /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolver.java | |
parent | complete vsconfig files #19 (diff) | |
download | VIATRA-Generator-2c05097ccbeeadd70b20f5001ebeb22ffdc465de.tar.gz VIATRA-Generator-2c05097ccbeeadd70b20f5001ebeb22ffdc465de.tar.zst VIATRA-Generator-2c05097ccbeeadd70b20f5001ebeb22ffdc465de.zip |
Begin handing of scope and fix type definitions.
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolver.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolver.java | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolver.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolver.java index e1a1ca6e..1846ba2e 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolver.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolver.java | |||
@@ -10,6 +10,7 @@ import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Vampire2LogicMapper; | |||
10 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.VampireHandler; | 10 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.VampireHandler; |
11 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; | 11 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; |
12 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel; | 12 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel; |
13 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.DocumentationLevel; | ||
13 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicModelInterpretation; | 14 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicModelInterpretation; |
14 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicReasoner; | 15 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicReasoner; |
15 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicReasonerException; | 16 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicReasonerException; |
@@ -30,7 +31,8 @@ public class VampireSolver extends LogicReasoner { | |||
30 | VampireLanguageStandaloneSetup.doSetup(); | 31 | VampireLanguageStandaloneSetup.doSetup(); |
31 | } | 32 | } |
32 | 33 | ||
33 | private final Logic2VampireLanguageMapper forwardMapper = new Logic2VampireLanguageMapper(new Logic2VampireLanguageMapper_TypeMapper_FilteredTypes()); | 34 | private final Logic2VampireLanguageMapper forwardMapper = new Logic2VampireLanguageMapper( |
35 | new Logic2VampireLanguageMapper_TypeMapper_FilteredTypes()); | ||
34 | 36 | ||
35 | private final Vampire2LogicMapper backwardMapper = new Vampire2LogicMapper(); | 37 | private final Vampire2LogicMapper backwardMapper = new Vampire2LogicMapper(); |
36 | 38 | ||
@@ -48,7 +50,9 @@ public class VampireSolver extends LogicReasoner { | |||
48 | String fileURI = null; | 50 | String fileURI = null; |
49 | String vampireCode = null; | 51 | String vampireCode = null; |
50 | vampireCode = workspace.writeModelToString(vampireProblem, this.fileName); | 52 | vampireCode = workspace.writeModelToString(vampireProblem, this.fileName); |
51 | if (vampireConfig.writeToFile) { | 53 | final boolean writeFile = ((vampireConfig.documentationLevel == DocumentationLevel.NORMAL) || |
54 | (vampireConfig.documentationLevel == DocumentationLevel.FULL)); | ||
55 | if (writeFile) { | ||
52 | fileURI = workspace.writeModel(vampireProblem, this.fileName).toFileString(); | 56 | fileURI = workspace.writeModel(vampireProblem, this.fileName).toFileString(); |
53 | } | 57 | } |
54 | long _currentTimeMillis = System.currentTimeMillis(); | 58 | long _currentTimeMillis = System.currentTimeMillis(); |