1 files changed, 7 insertions, 34 deletions

diff --git a/subprojects/logic/src/main/java/tools/refinery/logic/term/truthvalue/TruthValueDomain.java b/subprojects/logic/src/main/java/tools/refinery/logic/term/truthvalue/TruthValueDomain.java
index 443f744f..de8a89be 100644
--- a/subprojects/logic/src/main/java/tools/refinery/logic/term/truthvalue/TruthValueDomain.java
+++ b/subprojects/logic/src/main/java/tools/refinery/logic/term/truthvalue/TruthValueDomain.java
@@ -1,5 +1,5 @@
 /*
- * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
+ * SPDX-FileCopyrightText: 2021-2024 The Refinery Authors <https://refinery.tools/>
  *
  * SPDX-License-Identifier: EPL-2.0
  */
@@ -7,8 +7,6 @@ package tools.refinery.logic.term.truthvalue;
 
 import tools.refinery.logic.AbstractDomain;
 
-import java.util.Optional;
-
 // Singleton pattern, because there is only one domain for truth values.
 @SuppressWarnings("squid:S6548")
 public final class TruthValueDomain implements AbstractDomain<TruthValue, Boolean> {
@@ -28,42 +26,17 @@ public final class TruthValueDomain implements AbstractDomain<TruthValue, Boolea
         }
 
         @Override
-        public TruthValue toAbstract(Boolean concreteValue) {
-                return TruthValue.toTruthValue(concreteValue);
-        }
-
-        @Override
-        public Optional<Boolean> toConcrete(TruthValue abstractValue) {
-                return switch (abstractValue) {
-                        case TRUE -> Optional.of(true);
-                        case FALSE -> Optional.of(false);
-                        default -> Optional.empty();
-                };
-        }
-
-        @Override
-        public boolean isConcrete(TruthValue abstractValue) {
-                return abstractValue.isConcrete();
-        }
-
-        @Override
-        public TruthValue commonRefinement(TruthValue leftValue, TruthValue rightValue) {
-                return leftValue.merge(rightValue);
+        public TruthValue unknown() {
+                return TruthValue.UNKNOWN;
         }
 
         @Override
-        public TruthValue commonAncestor(TruthValue leftValue, TruthValue rightValue) {
-                return leftValue.join(rightValue);
+        public TruthValue error() {
+                return TruthValue.ERROR;
         }
 
         @Override
-        public TruthValue unknown() {
-                return TruthValue.UNKNOWN;
-        }
-
-        @Override
-        public boolean isError(TruthValue abstractValue) {
-                return !abstractValue.isConsistent();
+        public TruthValue toAbstract(Boolean concreteValue) {
+                return TruthValue.toTruthValue(concreteValue);
         }
 }
-