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