choco.integer.search
Class RandomIntValSelector

java.lang.Object
  choco.integer.search.RandomIntValSelector

All Implemented Interfaces:

IValSelector

public class RandomIntValSelector
extends java.lang.Object
implements IValSelector

Field Summary

protected java.util.Random

random

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.

Method Summary

int	getBestVal(IntDomainVar x) A method selecting the search value used for the alternative

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

random

protected java.util.Random random

Constructor Detail

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.

Method Detail

getBestVal

public int getBestVal(IntDomainVar x)

Description copied from interface: IValSelector

A method selecting the search value used for the alternative

Specified by:

getBestVal in interface IValSelector