1 files changed, 6 insertions, 33 deletions

diff --git a/subprojects/logic/src/main/java/tools/refinery/logic/term/cardinalityinterval/CardinalityDomain.java b/subprojects/logic/src/main/java/tools/refinery/logic/term/cardinalityinterval/CardinalityDomain.java
index 508a454b..29775615 100644
--- a/subprojects/logic/src/main/java/tools/refinery/logic/term/cardinalityinterval/CardinalityDomain.java
+++ b/subprojects/logic/src/main/java/tools/refinery/logic/term/cardinalityinterval/CardinalityDomain.java
@@ -5,11 +5,8 @@
  */
 package tools.refinery.logic.term.cardinalityinterval;
 
-import tools.refinery.logic.term.uppercardinality.FiniteUpperCardinality;
 import tools.refinery.logic.AbstractDomain;
 
-import java.util.Optional;
-
 // Singleton pattern, because there is only one domain for truth values.
 @SuppressWarnings("squid:S6548")
 public class CardinalityDomain implements AbstractDomain<CardinalityInterval, Integer> {
@@ -29,41 +26,17 @@ public class CardinalityDomain implements AbstractDomain<CardinalityInterval, In
         }
 
         @Override
-        public CardinalityInterval toAbstract(Integer concreteValue) {
-                return CardinalityIntervals.exactly(concreteValue);
-        }
-
-        @Override
-        public Optional<Integer> toConcrete(CardinalityInterval abstractValue) {
-                return isConcrete(abstractValue) ? Optional.of(abstractValue.lowerBound()) : Optional.empty();
-        }
-
-        @Override
-        public boolean isConcrete(CardinalityInterval abstractValue) {
-                if (!(abstractValue instanceof NonEmptyCardinalityInterval nonEmptyValue) ||
-                                !((nonEmptyValue.upperBound()) instanceof FiniteUpperCardinality finiteUpperCardinality)) {
-                        return false;
-                }
-                return nonEmptyValue.lowerBound() == finiteUpperCardinality.finiteUpperBound();
-        }
-
-        @Override
-        public CardinalityInterval commonRefinement(CardinalityInterval leftValue, CardinalityInterval rightValue) {
-                return leftValue.meet(rightValue);
-        }
-
-        @Override
-        public CardinalityInterval commonAncestor(CardinalityInterval leftValue, CardinalityInterval rightValue) {
-                return leftValue.join(rightValue);
+        public CardinalityInterval unknown() {
+                return CardinalityIntervals.SET;
         }
 
         @Override
-        public CardinalityInterval unknown() {
-                return CardinalityIntervals.SET;
+        public CardinalityInterval error() {
+                return CardinalityIntervals.ERROR;
         }
 
         @Override
-        public boolean isError(CardinalityInterval abstractValue) {
-                return abstractValue.isEmpty();
+        public CardinalityInterval toAbstract(Integer concreteValue) {
+                return CardinalityIntervals.exactly(concreteValue);
         }
 }