1 files changed, 5 insertions, 22 deletions

diff --git a/subprojects/logic/src/main/java/tools/refinery/logic/AbstractDomain.java b/subprojects/logic/src/main/java/tools/refinery/logic/AbstractDomain.java
index 607caa48..0b4d87d2 100644
--- a/subprojects/logic/src/main/java/tools/refinery/logic/AbstractDomain.java
+++ b/subprojects/logic/src/main/java/tools/refinery/logic/AbstractDomain.java
@@ -1,37 +1,20 @@
 /*
- * 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
  */
 package tools.refinery.logic;
 
-import java.util.Objects;
-import java.util.Optional;
-
-public non-sealed interface AbstractDomain<A, C> extends AnyAbstractDomain {
+public non-sealed interface AbstractDomain<A extends AbstractValue<A, C>, C> extends AnyAbstractDomain {
         @Override
         Class<A> abstractType();
 
         @Override
         Class<C> concreteType();
 
-        A toAbstract(C concreteValue);
-
-        Optional<C> toConcrete(A abstractValue);
-
-        default boolean isConcrete(A abstractValue) {
-                return toConcrete(abstractValue).isPresent();
-        }
-
-        default boolean isRefinement(A originalValue, A refinedValue) {
-                return Objects.equals(commonRefinement(originalValue, refinedValue), refinedValue);
-        }
-
-        A commonRefinement(A leftValue, A rightValue);
-
-        A commonAncestor(A leftValue, A rightValue);
-
         A unknown();
 
-        boolean isError(A abstractValue);
+        A error();
+
+        A toAbstract(C concreteValue);
 }