measurement time statistics + activation selection strategies

1 files changed, 24 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/ActivationSelector.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/ActivationSelector.xtend
new file mode 100644
index 00000000..65f9814c
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/ActivationSelector.xtend
@@ -0,0 +1,24 @@
+package hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.dse

+

+import java.util.ArrayList

+import java.util.Collection

+import java.util.Random

+

+abstract class ActivationSelector {

+        long runtime = 0

+        protected val Random r

+        new(Random r) {

+                this.r = r

+        }

+        

+        def randomizeActivationIDs(Collection<Object> activationIDs) {

+                val startTime = System.nanoTime

+                val res = internalRandomizationOfActivationIDs(activationIDs)

+                runtime+= System.nanoTime-startTime

+                return res

+        }

+        def protected ArrayList<Object> internalRandomizationOfActivationIDs(Collection<Object> activationIDs);

+        def getRuntime(){

+                return runtime

+        }

+}
\ No newline at end of file