diff options
author | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-19 22:38:21 +0200 |
---|---|---|
committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-19 22:38:21 +0200 |
commit | fd2fa1e12353b5cf905358d1446d6469ac04be72 (patch) | |
tree | 1969da2a4e739435340dc5d74fbd8a428f3c0a88 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf | |
parent | Merge branch 'master' of https://github.com/viatra/VIATRA-Generator (diff) | |
download | VIATRA-Generator-fd2fa1e12353b5cf905358d1446d6469ac04be72.tar.gz VIATRA-Generator-fd2fa1e12353b5cf905358d1446d6469ac04be72.tar.zst VIATRA-Generator-fd2fa1e12353b5cf905358d1446d6469ac04be72.zip |
option to calculate object creation costs in fitness
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf')
2 files changed, 4 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend index df3ccee5..0bd8c50e 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend | |||
@@ -75,7 +75,8 @@ class ViatraReasoner extends LogicReasoner{ | |||
75 | viatraConfig.nameNewElements, | 75 | viatraConfig.nameNewElements, |
76 | viatraConfig.typeInferenceMethod, | 76 | viatraConfig.typeInferenceMethod, |
77 | scopePropagator, | 77 | scopePropagator, |
78 | viatraConfig.documentationLevel | 78 | viatraConfig.documentationLevel, |
79 | viatraConfig.calculateObjectCreationCosts | ||
79 | ) | 80 | ) |
80 | //println("parsed") | 81 | //println("parsed") |
81 | 82 | ||
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 7369344c..6e3c5235 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 | |||
@@ -53,6 +53,8 @@ class ViatraReasonerConfiguration extends LogicSolverConfiguration{ | |||
53 | public var conaintmentWeight = 2 | 53 | public var conaintmentWeight = 2 |
54 | public var nonContainmentWeight = 1 | 54 | public var nonContainmentWeight = 1 |
55 | public var unfinishedWFWeight = 1 | 55 | public var unfinishedWFWeight = 1 |
56 | |||
57 | public var calculateObjectCreationCosts = false | ||
56 | } | 58 | } |
57 | 59 | ||
58 | public class DiversityDescriptor { | 60 | public class DiversityDescriptor { |