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/dse/UnfinishedWFObjective.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/UnfinishedWFObjective.xtend
index 1b61ffa5..b5b44254 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/UnfinishedWFObjective.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/UnfinishedWFObjective.xtend
@@ -37,6 +37,12 @@ class UnfinishedWFObjective implements IObjective {
         override getComparator() { Comparators.LOWER_IS_BETTER }

 

         override getFitness(ThreadContext context) {

+//              //MEGA ASSUMPTION Below TODO

+//              //if has no unfilled variables, return 0

+//              val model = context.getModel as PartialInterpretation

+//              val unfilledDataObjects = model.newElements.filter(PrimitiveElement).filter[!model.openWorldElements.contains(it)].filter[!it.isValueSet].toList

+//              if (unfilledDataObjects.isEmpty) return 0.0

+                

                 var sumOfMatches = 0

                 for (matcher : matchers) {

                         val number = matcher.countMatches