measurement time statistics + activation selection strategies

1 files changed, 20 insertions, 0 deletions

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/EvenActivationSelector.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/EvenActivationSelector.xtend
new file mode 100644
index 00000000..82a5f32d
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/EvenActivationSelector.xtend
@@ -0,0 +1,20 @@
+package hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.dse

+

+import java.util.Random

+import java.util.Collection

+import java.util.Collections

+import java.util.ArrayList

+

+class EvenActivationSelector extends ActivationSelector {

+        

+        new(Random r) {

+                super(r)

+        }

+        

+        override protected internalRandomizationOfActivationIDs(Collection<Object> activationIDs) {

+                val toShuffle = new ArrayList<Object>(activationIDs);

+                Collections.shuffle(toShuffle);

+                return toShuffle

+        }

+        

+}
\ No newline at end of file