diff options
Diffstat (limited to 'subprojects/store-reasoning/src')
2 files changed, 6 insertions, 5 deletions
diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/rule/RuleActionExecutor.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/rule/RuleActionExecutor.java index 80bfa6f8..7c51e3df 100644 --- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/rule/RuleActionExecutor.java +++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/rule/RuleActionExecutor.java | |||
@@ -1,9 +1,9 @@ | |||
1 | package tools.refinery.store.reasoning.rule; | 1 | package tools.refinery.store.reasoning.rule; |
2 | 2 | ||
3 | import tools.refinery.store.reasoning.MergeResult; | 3 | import tools.refinery.store.reasoning.MergeResult; |
4 | import tools.refinery.store.tuple.TupleLike; | 4 | import tools.refinery.store.tuple.Tuple; |
5 | 5 | ||
6 | @FunctionalInterface | 6 | @FunctionalInterface |
7 | public interface RuleActionExecutor { | 7 | public interface RuleActionExecutor { |
8 | MergeResult execute(TupleLike activationTuple); | 8 | MergeResult execute(Tuple activationTuple); |
9 | } | 9 | } |
diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/rule/RuleExecutor.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/rule/RuleExecutor.java index 1e5322b4..c20645fc 100644 --- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/rule/RuleExecutor.java +++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/rule/RuleExecutor.java | |||
@@ -1,8 +1,8 @@ | |||
1 | package tools.refinery.store.reasoning.rule; | 1 | package tools.refinery.store.reasoning.rule; |
2 | 2 | ||
3 | import tools.refinery.store.reasoning.MergeResult; | ||
4 | import tools.refinery.store.model.Model; | 3 | import tools.refinery.store.model.Model; |
5 | import tools.refinery.store.tuple.TupleLike; | 4 | import tools.refinery.store.reasoning.MergeResult; |
5 | import tools.refinery.store.tuple.Tuple; | ||
6 | 6 | ||
7 | import java.util.List; | 7 | import java.util.List; |
8 | 8 | ||
@@ -24,7 +24,8 @@ public final class RuleExecutor { | |||
24 | public Model getModel() { | 24 | public Model getModel() { |
25 | return model; | 25 | return model; |
26 | } | 26 | } |
27 | public MergeResult execute(TupleLike activationTuple) { | 27 | |
28 | public MergeResult execute(Tuple activationTuple) { | ||
28 | MergeResult mergeResult = MergeResult.UNCHANGED; | 29 | MergeResult mergeResult = MergeResult.UNCHANGED; |
29 | for (var actionExecutor : actionExecutors) { | 30 | for (var actionExecutor : actionExecutors) { |
30 | mergeResult = mergeResult.andAlso(actionExecutor.execute(activationTuple)); | 31 | mergeResult = mergeResult.andAlso(actionExecutor.execute(activationTuple)); |