diff options
author | 2020-05-17 20:53:49 +0200 | |
---|---|---|
committer | 2020-05-17 20:53:49 +0200 | |
commit | 3c8c3c84b7160b26ceb6e9daf0d6638c5ec3fecb (patch) | |
tree | 270c3f29b7d0445f9129539bb7586690767a5f6f /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend | |
parent | detailed runtimes + counting defined objects only (diff) | |
download | VIATRA-Generator-3c8c3c84b7160b26ceb6e9daf0d6638c5ec3fecb.tar.gz VIATRA-Generator-3c8c3c84b7160b26ceb6e9daf0d6638c5ec3fecb.tar.zst VIATRA-Generator-3c8c3c84b7160b26ceb6e9daf0d6638c5ec3fecb.zip |
TransformationExecutionTime + weights can be controlled from config
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 | 10 |
1 files changed, 8 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 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{ | |||
44 | /** | 44 | /** |
45 | * Configuration for cutting search space. | 45 | * Configuration for cutting search space. |
46 | */ | 46 | */ |
47 | public var SearchSpaceConstraint searchSpaceConstraints = new SearchSpaceConstraint | 47 | public var SearchSpaceConstraint searchSpaceConstraints = new SearchSpaceConstraint |
48 | 48 | ||
49 | public var runIntermediateNumericalConsistencyChecks = true | 49 | public var runIntermediateNumericalConsistencyChecks = true |
50 | |||
51 | public var punishSize = true | ||
52 | public var scopeWeight = 1 | ||
53 | public var conaintmentWeight = 2 | ||
54 | public var nonContainmentWeight = 1 | ||
55 | public var unfinishedWFWeight = 1 | ||
50 | } | 56 | } |
51 | 57 | ||
52 | public class DiversityDescriptor { | 58 | public class DiversityDescriptor { |