aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/BooleanLiteral.java
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/store-query/src/main/java/tools/refinery/store/query/literal/BooleanLiteral.java')
-rw-r--r--subprojects/store-query/src/main/java/tools/refinery/store/query/literal/BooleanLiteral.java7
1 files changed, 2 insertions, 5 deletions
diff --git a/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/BooleanLiteral.java b/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/BooleanLiteral.java
index a32cfd80..e61f0535 100644
--- a/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/BooleanLiteral.java
+++ b/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/BooleanLiteral.java
@@ -5,12 +5,9 @@
5 */ 5 */
6package tools.refinery.store.query.literal; 6package tools.refinery.store.query.literal;
7 7
8import tools.refinery.store.query.term.Variable;
9import tools.refinery.store.query.equality.LiteralEqualityHelper; 8import tools.refinery.store.query.equality.LiteralEqualityHelper;
10import tools.refinery.store.query.substitution.Substitution; 9import tools.refinery.store.query.substitution.Substitution;
11 10
12import java.util.Set;
13
14public enum BooleanLiteral implements CanNegate<BooleanLiteral> { 11public enum BooleanLiteral implements CanNegate<BooleanLiteral> {
15 TRUE(true), 12 TRUE(true),
16 FALSE(false); 13 FALSE(false);
@@ -22,8 +19,8 @@ public enum BooleanLiteral implements CanNegate<BooleanLiteral> {
22 } 19 }
23 20
24 @Override 21 @Override
25 public Set<Variable> getBoundVariables() { 22 public VariableBinder getVariableBinder() {
26 return Set.of(); 23 return VariableBinder.EMPTY;
27 } 24 }
28 25
29 @Override 26 @Override