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 | 6 |
1 files changed, 6 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 fbe6da9d..ebfd5d81 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 | |||
@@ -33,6 +33,11 @@ enum PunishSizeStrategy { | |||
33 | LARGER_IS_BETTER | 33 | LARGER_IS_BETTER |
34 | } | 34 | } |
35 | 35 | ||
36 | enum NumericSolverSelection { | ||
37 | DREAL, | ||
38 | Z3 | ||
39 | } | ||
40 | |||
36 | class ViatraReasonerConfiguration extends LogicSolverConfiguration { | 41 | class ViatraReasonerConfiguration extends LogicSolverConfiguration { |
37 | // public var Iterable<PQuery> existingQueries | 42 | // public var Iterable<PQuery> existingQueries |
38 | public var nameNewElements = false | 43 | public var nameNewElements = false |
@@ -70,6 +75,7 @@ class ViatraReasonerConfiguration extends LogicSolverConfiguration { | |||
70 | public var nonContainmentWeight = 1 | 75 | public var nonContainmentWeight = 1 |
71 | public var unfinishedWFWeight = 1 | 76 | public var unfinishedWFWeight = 1 |
72 | public var calculateObjectCreationCosts = false | 77 | public var calculateObjectCreationCosts = false |
78 | public var numericSolverSelection = NumericSolverSelection.DREAL //currently defaulted to DREAL | ||
73 | 79 | ||
74 | public var ScopePropagatorStrategy scopePropagatorStrategy = new ScopePropagatorStrategy.Polyhedral( | 80 | public var ScopePropagatorStrategy scopePropagatorStrategy = new ScopePropagatorStrategy.Polyhedral( |
75 | PolyhedralScopePropagatorConstraints.Relational, PolyhedralScopePropagatorSolver.Clp) | 81 | PolyhedralScopePropagatorConstraints.Relational, PolyhedralScopePropagatorSolver.Clp) |