choco.cp.solver.search
Class VarSelectorFactory
java.lang.Object
choco.cp.solver.search.VarSelectorFactory
public final class VarSelectorFactory
- extends Object
Method Summary |
static MinRatioSelector |
domDDegSel(Solver solver,
IntDomainVar[] vars)
|
static RandMinRatioSelector |
domDDegSel(Solver solver,
IntDomainVar[] vars,
long seed)
|
static MinRatioSelector |
domDegSel(Solver solver,
IntDomainVar[] vars)
|
static RandMinRatioSelector |
domDegSel(Solver solver,
IntDomainVar[] vars,
long seed)
|
static MinRatioSelector |
domWDegSel(Solver solver,
IntDomainVar[] vars)
|
static RandMinRatioSelector |
domWDegSel(Solver solver,
IntDomainVar[] vars,
long seed)
|
static MinRatioSelector |
maxPreserved(Solver solver,
ITemporalSRelation[] precedences)
|
static RandMinRatioSelector |
maxPreserved(Solver solver,
ITemporalSRelation[] precedences,
long seed)
|
static MinRatioSelector |
minPreserved(Solver solver,
ITemporalSRelation[] precedences)
|
static RandMinRatioSelector |
minPreserved(Solver solver,
ITemporalSRelation[] precedences,
long seed)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
domDegSel
public static MinRatioSelector domDegSel(Solver solver,
IntDomainVar[] vars)
domDegSel
public static RandMinRatioSelector domDegSel(Solver solver,
IntDomainVar[] vars,
long seed)
domDDegSel
public static MinRatioSelector domDDegSel(Solver solver,
IntDomainVar[] vars)
domDDegSel
public static RandMinRatioSelector domDDegSel(Solver solver,
IntDomainVar[] vars,
long seed)
domWDegSel
public static MinRatioSelector domWDegSel(Solver solver,
IntDomainVar[] vars)
domWDegSel
public static RandMinRatioSelector domWDegSel(Solver solver,
IntDomainVar[] vars,
long seed)
minPreserved
public static MinRatioSelector minPreserved(Solver solver,
ITemporalSRelation[] precedences)
minPreserved
public static RandMinRatioSelector minPreserved(Solver solver,
ITemporalSRelation[] precedences,
long seed)
maxPreserved
public static MinRatioSelector maxPreserved(Solver solver,
ITemporalSRelation[] precedences)
maxPreserved
public static RandMinRatioSelector maxPreserved(Solver solver,
ITemporalSRelation[] precedences,
long seed)
Copyright © 2012. All Rights Reserved.