From c0c5a1644cc221352b8b9b370eea6a87677ba948 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Sat, 15 Jun 2019 20:56:47 -0400 Subject: Try fix statecode bug Modified graph width calculation to not depend on order of nodes --- .../reasoner/optimization/ObjectiveKind.java | 24 ++++++++++++++++++++++ 1 file changed, 24 insertions(+) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/optimization/ObjectiveKind.java') 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 getComparator(); + public abstract double getInvalidValue(); + + public abstract double getSatisfiedValue(); + public static ObjectiveKind fromComparator(Comparator comparator) { if (Comparators.LOWER_IS_BETTER.equals(comparator)) { return ObjectiveKind.LOWER_IS_BETTER; -- cgit v1.2.3-54-g00ecf