1 files changed, 6 insertions, 1 deletions

diff --git a/subprojects/store/src/main/java/tools/refinery/store/model/ModelStoreBuilder.java b/subprojects/store/src/main/java/tools/refinery/store/model/ModelStoreBuilder.java
index 3a4024b5..9b2b38c3 100644
--- a/subprojects/store/src/main/java/tools/refinery/store/model/ModelStoreBuilder.java
+++ b/subprojects/store/src/main/java/tools/refinery/store/model/ModelStoreBuilder.java
@@ -8,12 +8,15 @@ package tools.refinery.store.model;
 import tools.refinery.store.adapter.ModelAdapterBuilder;
 import tools.refinery.store.representation.AnySymbol;
 import tools.refinery.store.representation.Symbol;
+import tools.refinery.store.util.CancellationToken;
 
 import java.util.Collection;
 import java.util.List;
 import java.util.Optional;
 
 public interface ModelStoreBuilder {
+        ModelStoreBuilder cancellationToken(CancellationToken cancellationToken);
+
         default ModelStoreBuilder symbols(AnySymbol... symbols) {
                 return symbols(List.of(symbols));
         }
@@ -29,7 +32,9 @@ public interface ModelStoreBuilder {
 
         <T> ModelStoreBuilder symbol(Symbol<T> symbol);
 
-        <T extends ModelAdapterBuilder> ModelStoreBuilder with(T adapterBuilder);
+        ModelStoreBuilder with(ModelAdapterBuilder adapterBuilder);
+
+        ModelStoreBuilder with(ModelStoreConfiguration configuration);
 
         <T extends ModelAdapterBuilder> Optional<T> tryGetAdapter(Class<? extends T> adapterType);