Configurability and better statistics for measurements

1 files changed, 0 insertions, 18 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
deleted file mode 100644
index b1c5a658..00000000
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/ScopePropagatorStrategy.java
+++ /dev/null
@@ -1,18 +0,0 @@
-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;
-        }
-}