diff options
Diffstat (limited to 'subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/actions/PartialActionLiterals.java')
-rw-r--r-- | subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/actions/PartialActionLiterals.java | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/actions/PartialActionLiterals.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/actions/PartialActionLiterals.java index f36fde44..e8e6880a 100644 --- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/actions/PartialActionLiterals.java +++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/actions/PartialActionLiterals.java | |||
@@ -5,10 +5,11 @@ | |||
5 | */ | 5 | */ |
6 | package tools.refinery.store.reasoning.actions; | 6 | package tools.refinery.store.reasoning.actions; |
7 | 7 | ||
8 | import tools.refinery.store.query.term.NodeVariable; | 8 | import tools.refinery.logic.AbstractValue; |
9 | import tools.refinery.logic.term.NodeVariable; | ||
9 | import tools.refinery.store.reasoning.representation.PartialRelation; | 10 | import tools.refinery.store.reasoning.representation.PartialRelation; |
10 | import tools.refinery.store.reasoning.representation.PartialSymbol; | 11 | import tools.refinery.store.reasoning.representation.PartialSymbol; |
11 | import tools.refinery.store.representation.TruthValue; | 12 | import tools.refinery.logic.term.truthvalue.TruthValue; |
12 | 13 | ||
13 | import java.util.List; | 14 | import java.util.List; |
14 | 15 | ||
@@ -17,8 +18,8 @@ public final class PartialActionLiterals { | |||
17 | throw new IllegalStateException("This is a static utility class and should not be instantiated directly"); | 18 | throw new IllegalStateException("This is a static utility class and should not be instantiated directly"); |
18 | } | 19 | } |
19 | 20 | ||
20 | public static <A, C> MergeActionLiteral<A, C> merge(PartialSymbol<A, C> partialSymbol, A value, | 21 | public static <A extends AbstractValue<A, C>, C> MergeActionLiteral<A, C> merge( |
21 | NodeVariable... parameters) { | 22 | PartialSymbol<A, C> partialSymbol, A value, NodeVariable... parameters) { |
22 | return new MergeActionLiteral<>(partialSymbol, value, List.of(parameters)); | 23 | return new MergeActionLiteral<>(partialSymbol, value, List.of(parameters)); |
23 | } | 24 | } |
24 | 25 | ||