1 files changed, 24 insertions, 0 deletions

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/optimization/ObjectiveKind.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/optimization/ObjectiveKind.java
index f65428fe..cbbaaafd 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/optimization/ObjectiveKind.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/optimization/ObjectiveKind.java
@@ -12,6 +12,16 @@ public enum ObjectiveKind {
                         return Comparators.LOWER_IS_BETTER;
                 }
 
+                @Override
+                public double getInvalidValue() {
+                        return Double.POSITIVE_INFINITY;
+                }
+
+                @Override
+                public double getSatisfiedValue() {
+                        return Double.NEGATIVE_INFINITY;
+                }
+
         },
         HIGHER_IS_BETTER {
 
@@ -20,10 +30,24 @@ public enum ObjectiveKind {
                         return Comparators.HIGHER_IS_BETTER;
                 }
 
+                @Override
+                public double getInvalidValue() {
+                        return Double.NEGATIVE_INFINITY;
+                }
+
+                @Override
+                public double getSatisfiedValue() {
+                        return Double.POSITIVE_INFINITY;
+                }
+
         };
 
         public abstract Comparator<Double> getComparator();
 
+        public abstract double getInvalidValue();
+
+        public abstract double getSatisfiedValue();
+
         public static ObjectiveKind fromComparator(Comparator<Double> comparator) {
                 if (Comparators.LOWER_IS_BETTER.equals(comparator)) {
                         return ObjectiveKind.LOWER_IS_BETTER;