1 files changed, 9 insertions, 0 deletions

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
index 88fee35b..1588e957 100644
--- 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
@@ -10,6 +10,7 @@ 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 {
@@ -25,4 +26,12 @@ public interface Valuation {
         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());
+        }
 }