diff options
Diffstat (limited to 'subprojects/store-reasoning')
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 { | |||
24 | 24 | ||
25 | default Model createInitialModel(ModelSeed modelSeed) { | 25 | default Model createInitialModel(ModelSeed modelSeed) { |
26 | var result = tryCreateInitialModel(modelSeed); | 26 | var result = tryCreateInitialModel(modelSeed); |
27 | result.throwIfRejected(); | 27 | result.propagationResult().throwIfRejected(); |
28 | return result.model(); | 28 | return result.model(); |
29 | } | 29 | } |
30 | 30 | ||
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; | |||
9 | import tools.refinery.store.model.Model; | 9 | import tools.refinery.store.model.Model; |
10 | 10 | ||
11 | public record PropagatedModel(Model model, PropagationResult propagationResult) { | 11 | public record PropagatedModel(Model model, PropagationResult propagationResult) { |
12 | public static final String PROPAGATION_FAILED_MESSAGE = "Inconsistent initial model: propagation failed"; | ||
13 | |||
14 | public boolean isRejected() { | ||
15 | return propagationResult.isRejected(); | ||
16 | } | ||
17 | |||
18 | public void throwIfRejected() { | ||
19 | if (isRejected()) { | ||
20 | throw new IllegalArgumentException(PROPAGATION_FAILED_MESSAGE); | ||
21 | } | ||
22 | } | ||
23 | } | 12 | } |