refactor: improve propagation traceability

2 files changed, 1 insertions, 12 deletions

diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningStoreAdapter.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningStoreAdapter.java
index 98883dcf..ccf0e64d 100644
--- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningStoreAdapter.java
+++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningStoreAdapter.java
@@ -24,7 +24,7 @@ public interface ReasoningStoreAdapter extends ModelStoreAdapter {
 
         default Model createInitialModel(ModelSeed modelSeed) {
                 var result = tryCreateInitialModel(modelSeed);
-                result.throwIfRejected();
+                result.propagationResult().throwIfRejected();
                 return result.model();
         }
 
diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/seed/PropagatedModel.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/seed/PropagatedModel.java
index 42194a0e..4b8180a4 100644
--- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/seed/PropagatedModel.java
+++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/seed/PropagatedModel.java
@@ -9,15 +9,4 @@ import tools.refinery.store.dse.propagation.PropagationResult;
 import tools.refinery.store.model.Model;
 
 public record PropagatedModel(Model model, PropagationResult propagationResult) {
-        public static final String PROPAGATION_FAILED_MESSAGE = "Inconsistent initial model: propagation failed";
-
-        public boolean isRejected() {
-                return propagationResult.isRejected();
-        }
-
-        public void throwIfRejected() {
-                if (isRejected()) {
-                        throw new IllegalArgumentException(PROPAGATION_FAILED_MESSAGE);
-                }
-        }
 }