refactor(store): remove CountPolarity

We will have to implement counting in DNF queries in another way.

1 files changed, 1 insertions, 44 deletions

diff --git a/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/QueryTest.java b/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/QueryTest.java
index d18187e5..e82e006c 100644
--- a/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/QueryTest.java
+++ b/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/QueryTest.java
@@ -5,7 +5,6 @@ import tools.refinery.store.model.representation.Relation;
 import tools.refinery.store.model.representation.TruthValue;
 import tools.refinery.store.query.*;
 import tools.refinery.store.query.atom.*;
-import tools.refinery.store.query.viatra.ViatraQueryableModelStore;
 import tools.refinery.store.query.view.FilteredRelationView;
 import tools.refinery.store.query.view.KeyOnlyRelationView;
 import tools.refinery.store.query.view.RelationView;
@@ -438,7 +437,7 @@ class QueryTest {
                                 .clause(
                                                 new RelationViewAtom(personView, p3),
                                                 new RelationViewAtom(personView, p4),
-                                                new CallAtom<>(SimplePolarity.TRANSITIVE, friendPredicate, p3, p4)
+                                                new CallAtom<>(CallPolarity.TRANSITIVE, friendPredicate, p3, p4)
                                 )
                                 .build();
 
@@ -456,48 +455,6 @@ class QueryTest {
                 assertEquals(3, model.countResults(predicate));
         }
 
-        @Test
-        void countMatchTest() {
-                Relation<Boolean> person = new Relation<>("Person", 1, Boolean.class, false);
-                Relation<TruthValue> friend = new Relation<>("friend", 2, TruthValue.class, TruthValue.FALSE);
-                RelationView<Boolean> personView = new KeyOnlyRelationView(person);
-                RelationView<TruthValue> friendMustView = new FilteredRelationView<>(friend, "must",
-                                TruthValue::must);
-
-                Variable p1 = new Variable("p1");
-                Variable p2 = new Variable("p2");
-
-                DNF called = DNF.builder("Called")
-                                .parameters(p1, p2)
-                                .clause(
-                                                new RelationViewAtom(personView, p1),
-                                                new RelationViewAtom(personView, p2),
-                                                new RelationViewAtom(friendMustView, p1, p2)
-                                )
-                                .build();
-
-                DNF predicate = DNF.builder("Count")
-                                .parameters(p1)
-                                .clause(
-                                                new RelationViewAtom(personView, p1),
-                                                new CallAtom<>(new CountingPolarity(ComparisonOperator.EQUALS, 2), called, p1, p2)
-                                )
-                                .build();
-
-                QueryableModelStore store = new ViatraQueryableModelStore(Set.of(person, friend),
-                                Set.of(personView, friendMustView), Set.of(called, predicate));
-                QueryableModel model = store.createModel();
-
-                model.put(person, Tuple.of(0), true);
-                model.put(person, Tuple.of(1), true);
-                model.put(person, Tuple.of(2), true);
-                model.put(friend, Tuple.of(0, 1), TruthValue.TRUE);
-                model.put(friend, Tuple.of(0, 2), TruthValue.TRUE);
-
-                model.flushChanges();
-                assertEquals(1, model.countResults(predicate));
-        }
-
         static void compareMatchSets(Stream<TupleLike> matchSet, Set<Tuple> expected) {
                 Set<Tuple> translatedMatchSet = new HashSet<>();
                 var iterator = matchSet.iterator();