diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolverConfiguration.java')
| -rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolverConfiguration.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolverConfiguration.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolverConfiguration.java index 5086d15a..7bb17b59 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolverConfiguration.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolverConfiguration.java | |||
| @@ -1,5 +1,6 @@ | |||
| 1 | package ca.mcgill.ecse.dslreasoner.vampire.reasoner; | 1 | package ca.mcgill.ecse.dslreasoner.vampire.reasoner; |
| 2 | 2 | ||
| 3 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.BackendSolver; | ||
| 3 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicSolverConfiguration; | 4 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicSolverConfiguration; |
| 4 | 5 | ||
| 5 | @SuppressWarnings("all") | 6 | @SuppressWarnings("all") |
| @@ -9,4 +10,6 @@ public class VampireSolverConfiguration extends LogicSolverConfiguration { | |||
| 9 | public boolean uniquenessDuplicates = false; | 10 | public boolean uniquenessDuplicates = false; |
| 10 | 11 | ||
| 11 | public int iteration = (-1); | 12 | public int iteration = (-1); |
| 13 | |||
| 14 | public BackendSolver solver = BackendSolver.VAMP; | ||
| 12 | } | 15 | } |