1 files changed, 2 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 5df28edd..df3ccee5 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
@@ -82,7 +82,8 @@ class ViatraReasoner extends LogicReasoner{
                dse.addObjective(new ModelGenerationCompositeObjective(
                        new ScopeObjective,
                        method.unfinishedMultiplicities.map[new UnfinishedMultiplicityObjective(it)],
-                        new UnfinishedWFObjective(method.unfinishedWF)
+                        new UnfinishedWFObjective(method.unfinishedWF),
+                        viatraConfig
                ))
                dse.addGlobalConstraint(wf2ObjectiveConverter.createInvalidationObjective(method.invalidWF))

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 5df28edd..df3ccee5 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
@@ -82,7 +82,8 @@ class ViatraReasoner extends LogicReasoner{
82	dse.addObjective(new ModelGenerationCompositeObjective(	82	dse.addObjective(new ModelGenerationCompositeObjective(
83	new ScopeObjective,	83	new ScopeObjective,
84	method.unfinishedMultiplicities.map[new UnfinishedMultiplicityObjective(it)],	84	method.unfinishedMultiplicities.map[new UnfinishedMultiplicityObjective(it)],
85	new UnfinishedWFObjective(method.unfinishedWF)	85	new UnfinishedWFObjective(method.unfinishedWF),
		86	viatraConfig
86	))	87	))
87		88
88	dse.addGlobalConstraint(wf2ObjectiveConverter.createInvalidationObjective(method.invalidWF))	89	dse.addGlobalConstraint(wf2ObjectiveConverter.createInvalidationObjective(method.invalidWF))