aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/logic
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kristof@marussy.com>2024-05-20 17:29:07 +0200
committerLibravatar Kristóf Marussy <kristof@marussy.com>2024-05-26 17:22:33 +0200
commit42214746edac8bdc992a52ca8624f996871e2842 (patch)
tree2e8cf18ab0a9b12fcba96b2eb7511cd84131cb57 /subprojects/logic
parentfeat(dse): detect stuch propagation rules (diff)
downloadrefinery-42214746edac8bdc992a52ca8624f996871e2842.tar.gz
refinery-42214746edac8bdc992a52ca8624f996871e2842.tar.zst
refinery-42214746edac8bdc992a52ca8624f996871e2842.zip
feat(language): node constants in rule actions
Diffstat (limited to 'subprojects/logic')
-rw-r--r--subprojects/logic/src/main/java/tools/refinery/logic/literal/ConstantLiteral.java3
1 files changed, 2 insertions, 1 deletions
diff --git a/subprojects/logic/src/main/java/tools/refinery/logic/literal/ConstantLiteral.java b/subprojects/logic/src/main/java/tools/refinery/logic/literal/ConstantLiteral.java
index 688ddfa0..36cf4226 100644
--- a/subprojects/logic/src/main/java/tools/refinery/logic/literal/ConstantLiteral.java
+++ b/subprojects/logic/src/main/java/tools/refinery/logic/literal/ConstantLiteral.java
@@ -14,6 +14,8 @@ import tools.refinery.logic.term.Variable;
14import java.util.Objects; 14import java.util.Objects;
15import java.util.Set; 15import java.util.Set;
16 16
17// {@link Object#equals(Object)} is implemented by {@link AbstractLiteral}.
18@SuppressWarnings("squid:S2160")
17public class ConstantLiteral extends AbstractLiteral { 19public class ConstantLiteral extends AbstractLiteral {
18 private final NodeVariable variable; 20 private final NodeVariable variable;
19 private final int nodeId; 21 private final int nodeId;
@@ -31,7 +33,6 @@ public class ConstantLiteral extends AbstractLiteral {
31 return nodeId; 33 return nodeId;
32 } 34 }
33 35
34
35 @Override 36 @Override
36 public Set<Variable> getOutputVariables() { 37 public Set<Variable> getOutputVariables() {
37 return Set.of(variable); 38 return Set.of(variable);