From 3c8c3c84b7160b26ceb6e9daf0d6638c5ec3fecb Mon Sep 17 00:00:00 2001 From: Oszkar Semerath Date: Sun, 17 May 2020 20:53:49 +0200 Subject: TransformationExecutionTime + weights can be controlled from config --- .../viatrasolver/reasoner/ViatraReasonerConfiguration.xtend | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend') 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 24578e7b..7369344c 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 @@ -44,9 +44,15 @@ class ViatraReasonerConfiguration extends LogicSolverConfiguration{ /** * Configuration for cutting search space. */ - public var SearchSpaceConstraint searchSpaceConstraints = new SearchSpaceConstraint + public var SearchSpaceConstraint searchSpaceConstraints = new SearchSpaceConstraint - public var runIntermediateNumericalConsistencyChecks = true + public var runIntermediateNumericalConsistencyChecks = true + + public var punishSize = true + public var scopeWeight = 1 + public var conaintmentWeight = 2 + public var nonContainmentWeight = 1 + public var unfinishedWFWeight = 1 } public class DiversityDescriptor { -- cgit v1.2.3-70-g09d2