Cardinality propagator WIP

1 files changed, 18 insertions, 0 deletions

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/ScopePropagatorStrategy.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/ScopePropagatorStrategy.java
new file mode 100644
index 00000000..b1c5a658
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/ScopePropagatorStrategy.java
@@ -0,0 +1,18 @@
+package hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.cardinality;
+
+public enum ScopePropagatorStrategy {
+        BasicTypeHierarchy,
+
+        PolyhedralTypeHierarchy,
+
+        PolyhedralRelations {
+                @Override
+                public boolean requiresUpperBoundIndexing() {
+                        return true;
+                }
+        };
+
+        public boolean requiresUpperBoundIndexing() {
+                return false;
+        }
+}