From 66cc2cc3b2f24d403167fd4e35cd69011d334b00 Mon Sep 17 00:00:00 2001
From: Oszkar Semerath <semerath@mit.bme.hu>
Date: Sun, 10 May 2020 18:38:20 +0200
Subject: measurement time statistics + activation selection strategies

---
 .../reasoner/dse/ActivationSelector.xtend          | 24 ++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/ActivationSelector.xtend

(limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/ActivationSelector.xtend')

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
-- 
cgit v1.2.3-54-g00ecf