diff options
| author |  Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-02-16 03:06:22 +0100 |
|---|---|---|
| committer | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-02-16 03:06:22 +0100 |
| commit | 0ebddc8dd265cd5b1b439e3c06f1de1047641559 (patch) | |
| tree | 7141673072f4d6a48a9b12d23b9f01261717a8f7 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend | |
| parent | Ready for strategies case study (diff) | |
| download | VIATRA-Generator-0ebddc8dd265cd5b1b439e3c06f1de1047641559.tar.gz VIATRA-Generator-0ebddc8dd265cd5b1b439e3c06f1de1047641559.tar.zst VIATRA-Generator-0ebddc8dd265cd5b1b439e3c06f1de1047641559.zip | |
add dreal-timeout flag
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 | 1 |
1 files changed, 1 insertions, 0 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 74388706..923c847e 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 | |||
| @@ -85,6 +85,7 @@ class ViatraReasonerConfiguration extends LogicSolverConfiguration { | |||
| 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 drealLocalPath = "<path-to-dreal>"; | 87 | public var drealLocalPath = "<path-to-dreal>"; |
| 88 | public var drealTimeout = 10000; | ||
| 88 | public var Map<String, Map<String, String>> ignoredAttributesMap = null; | 89 | public var Map<String, Map<String, String>> ignoredAttributesMap = null; |
| 89 | public var ExplorationStrategy strategy = ExplorationStrategy.None | 90 | public var ExplorationStrategy strategy = ExplorationStrategy.None |
| 90 | 91 | ||