blob: 65f9814c7cd0dda766aecdc082f7d09cae8a50d3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
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
}
}
|