diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend index 923c847e..fc1fadf7 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend | |||
@@ -84,8 +84,9 @@ class ViatraReasonerConfiguration extends LogicSolverConfiguration { | |||
84 | public var unfinishedWFWeight = 1 | 84 | public var unfinishedWFWeight = 1 |
85 | public var calculateObjectCreationCosts = false | 85 | public var calculateObjectCreationCosts = false |
86 | public NumericSolverSelection numericSolverSelection = NumericSolverSelection.Z3 //currently defaulted to Z3 | 86 | public NumericSolverSelection numericSolverSelection = NumericSolverSelection.Z3 //currently defaulted to Z3 |
87 | public var NumericSolverPath = "<path-to-numeric-solver>" | ||
87 | public var drealLocalPath = "<path-to-dreal>"; | 88 | public var drealLocalPath = "<path-to-dreal>"; |
88 | public var drealTimeout = 10000; | 89 | public var numericSolverTimeout = 10000; |
89 | public var Map<String, Map<String, String>> ignoredAttributesMap = null; | 90 | public var Map<String, Map<String, String>> ignoredAttributesMap = null; |
90 | public var ExplorationStrategy strategy = ExplorationStrategy.None | 91 | public var ExplorationStrategy strategy = ExplorationStrategy.None |
91 | 92 | ||