diff options
Diffstat (limited to 'subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/representation/PartialRelation.java')
-rw-r--r-- | subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/representation/PartialRelation.java | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/representation/PartialRelation.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/representation/PartialRelation.java index 6b2f050b..4ccb7033 100644 --- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/representation/PartialRelation.java +++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/representation/PartialRelation.java | |||
@@ -26,11 +26,6 @@ public record PartialRelation(String name, int arity) implements PartialSymbol<T | |||
26 | } | 26 | } |
27 | 27 | ||
28 | @Override | 28 | @Override |
29 | public Boolean defaultConcreteValue() { | ||
30 | return false; | ||
31 | } | ||
32 | |||
33 | @Override | ||
34 | public List<Parameter> getParameters() { | 29 | public List<Parameter> getParameters() { |
35 | var parameters = new Parameter[arity]; | 30 | var parameters = new Parameter[arity]; |
36 | Arrays.fill(parameters, Parameter.NODE_OUT); | 31 | Arrays.fill(parameters, Parameter.NODE_OUT); |