diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend index fc8d3e99..b223dbe5 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend | |||
@@ -7,12 +7,15 @@ class VampireSolverConfiguration extends LogicSolverConfiguration { | |||
7 | public var int contCycleLevel = 0 | 7 | public var int contCycleLevel = 0 |
8 | public var boolean uniquenessDuplicates = false | 8 | public var boolean uniquenessDuplicates = false |
9 | public var int iteration = -1 | 9 | public var int iteration = -1 |
10 | public var BackendSolver solver = BackendSolver::VAMP | ||
10 | //choose needed backend solver | 11 | //choose needed backend solver |
11 | // public var VampireBackendSolver solver = VampireBackendSolver.SAT4J | 12 | // public var VampireBackendSolver solver = VampireBackendSolver.SAT4J |
12 | } | 13 | } |
13 | 14 | ||
14 | 15 | ||
15 | enum VampireBackendSolver { | 16 | enum BackendSolver { |
17 | VAMP, | ||
18 | CVC4 | ||
16 | //add needed things | 19 | //add needed things |
17 | } | 20 | } |
18 | 21 | ||