diff options
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.java | 7 |
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 | */ |
6 | package tools.refinery.store.query.literal; | 6 | package tools.refinery.store.query.literal; |
7 | 7 | ||
8 | import tools.refinery.store.query.term.Variable; | ||
9 | import tools.refinery.store.query.equality.LiteralEqualityHelper; | 8 | import tools.refinery.store.query.equality.LiteralEqualityHelper; |
10 | import tools.refinery.store.query.substitution.Substitution; | 9 | import tools.refinery.store.query.substitution.Substitution; |
11 | 10 | ||
12 | import java.util.Set; | ||
13 | |||
14 | public enum BooleanLiteral implements CanNegate<BooleanLiteral> { | 11 | public 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 |