diff options
author | 2021-01-19 01:15:32 +0100 | |
---|---|---|
committer | 2021-01-19 01:15:32 +0100 | |
commit | 598fa1dae639ac110b2f549e8c2978ae3974c53a (patch) | |
tree | 69bd6b39cdbd65833ce0f4656981ab25911c3bd1 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend | |
parent | add some actor-related queries, solve minor Z3 issue (diff) | |
download | VIATRA-Generator-598fa1dae639ac110b2f549e8c2978ae3974c53a.tar.gz VIATRA-Generator-598fa1dae639ac110b2f549e8c2978ae3974c53a.tar.zst VIATRA-Generator-598fa1dae639ac110b2f549e8c2978ae3974c53a.zip |
add vsconfig flag to allow running dreal locally
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 | 6 |
1 files changed, 4 insertions, 2 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 ebfd5d81..c0daaad2 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 | |||
@@ -34,7 +34,8 @@ enum PunishSizeStrategy { | |||
34 | } | 34 | } |
35 | 35 | ||
36 | enum NumericSolverSelection { | 36 | enum NumericSolverSelection { |
37 | DREAL, | 37 | DREAL_DOCKER, |
38 | DREAL_LOCAL, | ||
38 | Z3 | 39 | Z3 |
39 | } | 40 | } |
40 | 41 | ||
@@ -75,7 +76,8 @@ class ViatraReasonerConfiguration extends LogicSolverConfiguration { | |||
75 | public var nonContainmentWeight = 1 | 76 | public var nonContainmentWeight = 1 |
76 | public var unfinishedWFWeight = 1 | 77 | public var unfinishedWFWeight = 1 |
77 | public var calculateObjectCreationCosts = false | 78 | public var calculateObjectCreationCosts = false |
78 | public var numericSolverSelection = NumericSolverSelection.DREAL //currently defaulted to DREAL | 79 | public var numericSolverSelection = NumericSolverSelection.DREAL_DOCKER //currently defaulted to DREAL |
80 | public var drealLocalPath = "<path-to-dreal>"; | ||
79 | 81 | ||
80 | public var ScopePropagatorStrategy scopePropagatorStrategy = new ScopePropagatorStrategy.Polyhedral( | 82 | public var ScopePropagatorStrategy scopePropagatorStrategy = new ScopePropagatorStrategy.Polyhedral( |
81 | PolyhedralScopePropagatorConstraints.Relational, PolyhedralScopePropagatorSolver.Clp) | 83 | PolyhedralScopePropagatorConstraints.Relational, PolyhedralScopePropagatorSolver.Clp) |