diff options
Diffstat (limited to 'subprojects/store-query/src/test/java/tools/refinery/store/query/dnf/DnfBuilderLiteralEliminationTest.java')
-rw-r--r-- | subprojects/store-query/src/test/java/tools/refinery/store/query/dnf/DnfBuilderLiteralEliminationTest.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/store-query/src/test/java/tools/refinery/store/query/dnf/DnfBuilderLiteralEliminationTest.java b/subprojects/store-query/src/test/java/tools/refinery/store/query/dnf/DnfBuilderLiteralEliminationTest.java index 687b06db..e17496e3 100644 --- a/subprojects/store-query/src/test/java/tools/refinery/store/query/dnf/DnfBuilderLiteralEliminationTest.java +++ b/subprojects/store-query/src/test/java/tools/refinery/store/query/dnf/DnfBuilderLiteralEliminationTest.java | |||
@@ -25,7 +25,7 @@ import static tools.refinery.store.query.literal.Literals.not; | |||
25 | import static tools.refinery.store.query.tests.QueryMatchers.structurallyEqualTo; | 25 | import static tools.refinery.store.query.tests.QueryMatchers.structurallyEqualTo; |
26 | 26 | ||
27 | class DnfBuilderLiteralEliminationTest { | 27 | class DnfBuilderLiteralEliminationTest { |
28 | private final Symbol<Boolean> friend = new Symbol<>("friend", 2, Boolean.class, false); | 28 | private final Symbol<Boolean> friend = Symbol.of("friend", 2); |
29 | private final SymbolView<Boolean> friendView = new KeyOnlyView<>(friend); | 29 | private final SymbolView<Boolean> friendView = new KeyOnlyView<>(friend); |
30 | private final NodeVariable p = Variable.of("p"); | 30 | private final NodeVariable p = Variable.of("p"); |
31 | private final NodeVariable q = Variable.of("q"); | 31 | private final NodeVariable q = Variable.of("q"); |