diff options
Diffstat (limited to 'subprojects/store-query/src/main/java/tools/refinery/store/query/dnf/RelationalQuery.java')
-rw-r--r-- | subprojects/store-query/src/main/java/tools/refinery/store/query/dnf/RelationalQuery.java | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/subprojects/store-query/src/main/java/tools/refinery/store/query/dnf/RelationalQuery.java b/subprojects/store-query/src/main/java/tools/refinery/store/query/dnf/RelationalQuery.java index c1892ee1..618fb595 100644 --- a/subprojects/store-query/src/main/java/tools/refinery/store/query/dnf/RelationalQuery.java +++ b/subprojects/store-query/src/main/java/tools/refinery/store/query/dnf/RelationalQuery.java | |||
@@ -41,10 +41,15 @@ public final class RelationalQuery extends Query<Boolean> { | |||
41 | } | 41 | } |
42 | 42 | ||
43 | @Override | 43 | @Override |
44 | protected Query<Boolean> withDnfInternal(Dnf newDnf) { | 44 | protected RelationalQuery withDnfInternal(Dnf newDnf) { |
45 | return newDnf.asRelation(); | 45 | return newDnf.asRelation(); |
46 | } | 46 | } |
47 | 47 | ||
48 | @Override | ||
49 | public RelationalQuery withDnf(Dnf newDnf) { | ||
50 | return (RelationalQuery) super.withDnf(newDnf); | ||
51 | } | ||
52 | |||
48 | public CallLiteral call(CallPolarity polarity, List<NodeVariable> arguments) { | 53 | public CallLiteral call(CallPolarity polarity, List<NodeVariable> arguments) { |
49 | return getDnf().call(polarity, Collections.unmodifiableList(arguments)); | 54 | return getDnf().call(polarity, Collections.unmodifiableList(arguments)); |
50 | } | 55 | } |