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 | 2 |
1 files changed, 1 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 1fda24d9..c3b344eb 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 | |||
@@ -8,7 +8,7 @@ class VampireSolverConfiguration | |||
8 | public var int contCycleLevel = 0 | 8 | public var int contCycleLevel = 0 |
9 | public var boolean uniquenessDuplicates = false | 9 | public var boolean uniquenessDuplicates = false |
10 | public var int iteration = -1 | 10 | public var int iteration = -1 |
11 | public var BackendSolver solver = BackendSolver::VAMPIRE | 11 | public var BackendSolver solver = BackendSolver::LOCVAMP |
12 | public var genModel = true | 12 | public var genModel = true |
13 | public var server = false | 13 | public var server = false |
14 | //choose needed backend solver | 14 | //choose needed backend solver |