1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/ModelGenerationCompositeObjective.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/ModelGenerationCompositeObjective.xtend
index d2faaa65..481f4ce1 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/ModelGenerationCompositeObjective.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/ModelGenerationCompositeObjective.xtend
@@ -112,7 +112,7 @@ class ModelGenerationCompositeObjective implements IThreeValuedObjective {
        override isHardObjective() { true }
-        override satisifiesHardObjective(Double fitness) { fitness <= 0.001 }
+        override satisifiesHardObjective(Double fitness) { fitness <= 0.9 }
        override setComparator(Comparator<Double> comparator) {
                throw new UnsupportedOperationException("Model generation objective comparator cannot be set.")

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/ModelGenerationCompositeObjective.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/ModelGenerationCompositeObjective.xtend index d2faaa65..481f4ce1 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/ModelGenerationCompositeObjective.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/ModelGenerationCompositeObjective.xtend
@@ -112,7 +112,7 @@ class ModelGenerationCompositeObjective implements IThreeValuedObjective {
112		112
113	override isHardObjective() { true }	113	override isHardObjective() { true }
114		114
115	override satisifiesHardObjective(Double fitness) { fitness <= 0.001 }	115	override satisifiesHardObjective(Double fitness) { fitness <= 0.9 }
116		116
117	override setComparator(Comparator<Double> comparator) {	117	override setComparator(Comparator<Double> comparator) {
118	throw new UnsupportedOperationException("Model generation objective comparator cannot be set.")	118	throw new UnsupportedOperationException("Model generation objective comparator cannot be set.")