choco.cp.solver.search.integer.valselector
Class RandomIntValSelector
java.lang.Object
choco.cp.solver.search.integer.valselector.RandomIntValSelector
- All Implemented Interfaces:
- ValSelector<IntDomainVar>
public class RandomIntValSelector
- extends Object
- implements ValSelector<IntDomainVar>
Constructor Summary |
RandomIntValSelector()
Default constructor for a random value selector for banching. |
RandomIntValSelector(long seed)
Constructs a random value selector for branching with a specified seed. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
random
protected Random random
RandomIntValSelector
public RandomIntValSelector()
- Default constructor for a random value selector for banching.
RandomIntValSelector
public RandomIntValSelector(long seed)
- Constructs a random value selector for branching with a specified seed.
getBestVal
public int getBestVal(IntDomainVar x)
- Description copied from interface:
ValSelector
- A method selecting the search value used for the alternative
- Specified by:
getBestVal
in interface ValSelector<IntDomainVar>
Copyright © 2012. All Rights Reserved.