1 files changed, 16 insertions, 0 deletions

diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/objectives/Fitness.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/objectives/Fitness.java
index 92709d3e..b1dc4442 100644
--- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/objectives/Fitness.java
+++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/objectives/Fitness.java
@@ -27,4 +27,20 @@ public class Fitness extends HashMap<String, Double> {
         public String toString() {
                 return super.toString() + " hardObjectives=" + satisfiesHardObjectives;
         }
+
+        @Override
+        public boolean equals(Object other) {
+                if (other == null) return false;
+                if (getClass() != other.getClass()) return false;
+                if (!super.equals(other)) return false;
+                return satisfiesHardObjectives == ((Fitness) other).satisfiesHardObjectives;
+        }
+
+        @Override
+        public int hashCode() {
+                int h = super.hashCode();
+                h = h * 31 + (satisfiesHardObjectives ? 1 : 0);
+                return h;
+        }
+
 }