choco.cp.solver.search.integer.varselector
Class RandomIntVarSelector

java.lang.Object
  extended by choco.kernel.solver.search.AbstractSearchHeuristic
      extended by choco.kernel.solver.search.integer.AbstractIntVarSelector
          extended by choco.kernel.solver.search.integer.HeuristicIntVarSelector
              extended by choco.kernel.solver.search.integer.IntHeuristicIntVarSelector
                  extended by choco.cp.solver.search.integer.varselector.RandomIntVarSelector
All Implemented Interfaces:
VarSelector<IntDomainVar>, TiedIntVarSelector<IntDomainVar>

public class RandomIntVarSelector
extends IntHeuristicIntVarSelector


Field Summary
protected  Random random
           
 
Fields inherited from class choco.kernel.solver.search.integer.AbstractIntVarSelector
vars
 
Fields inherited from class choco.kernel.solver.search.AbstractSearchHeuristic
branching, solver
 
Constructor Summary
RandomIntVarSelector(Solver solver)
          Creates a new random-based integer domain variable selector
RandomIntVarSelector(Solver solver, IntDomainVar[] vs, long seed)
           
RandomIntVarSelector(Solver solver, long seed)
          Creates a new random-based integer domain variable selector with the specified seed (to make the experiment determinist)
 
Method Summary
 int getHeuristic(IntDomainVar v)
          the heuristic that is minimized in order to find the best IntVar
 
Methods inherited from class choco.kernel.solver.search.integer.IntHeuristicIntVarSelector
getAllMinVars, getAllMinVars, getHeuristic, getMinVar, getMinVar, getMinVar
 
Methods inherited from class choco.kernel.solver.search.integer.HeuristicIntVarSelector
selectTiedIntVars, selectVar
 
Methods inherited from class choco.kernel.solver.search.integer.AbstractIntVarSelector
getVars, setVars
 
Methods inherited from class choco.kernel.solver.search.AbstractSearchHeuristic
getBranching, getSolver, setBranching
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

random

protected final Random random
Constructor Detail

RandomIntVarSelector

public RandomIntVarSelector(Solver solver)
Creates a new random-based integer domain variable selector


RandomIntVarSelector

public RandomIntVarSelector(Solver solver,
                            long seed)
Creates a new random-based integer domain variable selector with the specified seed (to make the experiment determinist)


RandomIntVarSelector

public RandomIntVarSelector(Solver solver,
                            IntDomainVar[] vs,
                            long seed)
Method Detail

getHeuristic

public int getHeuristic(IntDomainVar v)
Description copied from class: IntHeuristicIntVarSelector
the heuristic that is minimized in order to find the best IntVar

Specified by:
getHeuristic in class IntHeuristicIntVarSelector


Copyright © 2012. All Rights Reserved.