5 files changed, 0 insertions, 136 deletions

diff --git a/subprojects/store-query/src/main/java/tools/refinery/store/query/valuation/MapBasedValuation.java b/subprojects/store-query/src/main/java/tools/refinery/store/query/valuation/MapBasedValuation.java
deleted file mode 100644
index 261ceaa5..00000000
--- a/subprojects/store-query/src/main/java/tools/refinery/store/query/valuation/MapBasedValuation.java
+++ /dev/null
@@ -1,22 +0,0 @@
-/*
- * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
- *
- * SPDX-License-Identifier: EPL-2.0
- */
-package tools.refinery.store.query.valuation;
-
-import tools.refinery.store.query.term.AnyDataVariable;
-import tools.refinery.store.query.term.DataVariable;
-
-import java.util.Map;
-
-record MapBasedValuation(Map<AnyDataVariable, Object> values) implements Valuation {
-        @Override
-        public <T> T getValue(DataVariable<T> variable) {
-                if (!values.containsKey(variable)) {
-                        throw new IllegalArgumentException("No value for variable %s".formatted(variable));
-                }
-                var value = values.get(variable);
-                return variable.getType().cast(value);
-        }
-}
diff --git a/subprojects/store-query/src/main/java/tools/refinery/store/query/valuation/RestrictedValuation.java b/subprojects/store-query/src/main/java/tools/refinery/store/query/valuation/RestrictedValuation.java
deleted file mode 100644
index fc8406aa..00000000
--- a/subprojects/store-query/src/main/java/tools/refinery/store/query/valuation/RestrictedValuation.java
+++ /dev/null
@@ -1,21 +0,0 @@
-/*
- * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
- *
- * SPDX-License-Identifier: EPL-2.0
- */
-package tools.refinery.store.query.valuation;
-
-import tools.refinery.store.query.term.AnyDataVariable;
-import tools.refinery.store.query.term.DataVariable;
-
-import java.util.Set;
-
-public record RestrictedValuation(Valuation valuation, Set<AnyDataVariable> allowedVariables) implements Valuation {
-        @Override
-        public <T> T getValue(DataVariable<T> variable) {
-                if (!allowedVariables.contains(variable)) {
-                        throw new IllegalArgumentException("Variable %s is not in scope".formatted(variable));
-                }
-                return valuation.getValue(variable);
-        }
-}
diff --git a/subprojects/store-query/src/main/java/tools/refinery/store/query/valuation/SubstitutedValuation.java b/subprojects/store-query/src/main/java/tools/refinery/store/query/valuation/SubstitutedValuation.java
deleted file mode 100644
index 1c14112c..00000000
--- a/subprojects/store-query/src/main/java/tools/refinery/store/query/valuation/SubstitutedValuation.java
+++ /dev/null
@@ -1,16 +0,0 @@
-/*
- * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
- *
- * SPDX-License-Identifier: EPL-2.0
- */
-package tools.refinery.store.query.valuation;
-
-import tools.refinery.store.query.substitution.Substitution;
-import tools.refinery.store.query.term.DataVariable;
-
-public record SubstitutedValuation(Valuation originalValuation, Substitution substitution) implements Valuation {
-        @Override
-        public <T> T getValue(DataVariable<T> variable) {
-                return originalValuation.getValue(substitution.getTypeSafeSubstitute(variable));
-        }
-}
diff --git a/subprojects/store-query/src/main/java/tools/refinery/store/query/valuation/Valuation.java b/subprojects/store-query/src/main/java/tools/refinery/store/query/valuation/Valuation.java
deleted file mode 100644
index 1588e957..00000000
--- a/subprojects/store-query/src/main/java/tools/refinery/store/query/valuation/Valuation.java
+++ /dev/null
@@ -1,37 +0,0 @@
-/*
- * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
- *
- * SPDX-License-Identifier: EPL-2.0
- */
-package tools.refinery.store.query.valuation;
-
-import org.jetbrains.annotations.Nullable;
-import tools.refinery.store.query.substitution.Substitution;
-import tools.refinery.store.query.term.AnyDataVariable;
-import tools.refinery.store.query.term.DataVariable;
-
-import java.util.Map;
-import java.util.Set;
-
-public interface Valuation {
-        <T> T getValue(DataVariable<T> variable);
-
-        default Valuation substitute(@Nullable Substitution substitution) {
-                if (substitution == null) {
-                        return this;
-                }
-                return new SubstitutedValuation(this, substitution);
-        }
-
-        default Valuation restrict(Set<? extends AnyDataVariable> allowedVariables) {
-                return new RestrictedValuation(this, Set.copyOf(allowedVariables));
-        }
-
-        static ValuationBuilder builder() {
-                return new ValuationBuilder();
-        }
-
-        static Valuation empty() {
-                return new MapBasedValuation(Map.of());
-        }
-}
diff --git a/subprojects/store-query/src/main/java/tools/refinery/store/query/valuation/ValuationBuilder.java b/subprojects/store-query/src/main/java/tools/refinery/store/query/valuation/ValuationBuilder.java
deleted file mode 100644
index 7337dbc3..00000000
--- a/subprojects/store-query/src/main/java/tools/refinery/store/query/valuation/ValuationBuilder.java
+++ /dev/null
@@ -1,40 +0,0 @@
-/*
- * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
- *
- * SPDX-License-Identifier: EPL-2.0
- */
-package tools.refinery.store.query.valuation;
-
-import tools.refinery.store.query.term.AnyDataVariable;
-import tools.refinery.store.query.term.DataVariable;
-
-import java.util.Collections;
-import java.util.HashMap;
-import java.util.Map;
-
-public class ValuationBuilder {
-        private final Map<AnyDataVariable, Object> values = new HashMap<>();
-
-        ValuationBuilder() {
-        }
-
-        public <T> ValuationBuilder put(DataVariable<T> variable, T value) {
-                return putChecked(variable, value);
-        }
-
-        public ValuationBuilder putChecked(AnyDataVariable variable, Object value) {
-                if (value != null && !variable.getType().isInstance(value)) {
-                        throw new IllegalArgumentException("Value %s is not an instance of %s"
-                                        .formatted(value, variable.getType().getName()));
-                }
-                if (values.containsKey(variable)) {
-                        throw new IllegalArgumentException("Already has value for variable %s".formatted(variable));
-                }
-                values.put(variable, value);
-                return this;
-        }
-
-        public Valuation build() {
-                return new MapBasedValuation(Collections.unmodifiableMap(values));
-        }
-}