|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.cp.solver.CPSolver
choco.cp.solver.preprocessor.PreProcessCPSolver
public class PreProcessCPSolver
Field Summary |
---|
Fields inherited from class choco.cp.solver.CPSolver |
---|
configuration, FINEST, GOAL, mapconstraints, mapvariables, mod2sol, model, PROPAGATION, propagationEngine, readingTime, SEARCH, SILENT, SOLUTION, strategy, tempGoal |
Fields inherited from interface choco.kernel.solver.Solver |
---|
DEFAULT_SOLUTION_CHECKER, LOGGER |
Constructor Summary | |
---|---|
PreProcessCPSolver()
|
|
PreProcessCPSolver(Configuration configuration)
|
|
PreProcessCPSolver(IEnvironment env,
Configuration configuration)
|
Method Summary | ||
---|---|---|
boolean |
contains(Constraint c)
|
|
PPSearch |
getBBSearch()
|
|
DisjunctiveModel |
getDisjModel()
|
|
DisjunctiveSModel |
getDisjSModel()
|
|
PPModelToCPSolver |
getMod2Sol()
|
|
boolean |
initialPropagation()
Perform initial propagarion and measure its time |
|
boolean |
isExtensionnal()
return true if contains at least one extensional constraints |
|
void |
read(Model m)
read of the black box solver |
|
boolean |
rootNodeSingleton(int timelimit)
Apply a step of singleton consistency |
|
|
setCstr(MC c,
SC sc)
|
|
boolean |
setDomOverDeg(CPSolver s)
set the DomOverDeg heuristic |
|
boolean |
setDomOverWeg(CPSolver s,
int inittime)
set the DomOverWDeg heuristic |
|
boolean |
setImpact(CPSolver s,
int initialisationtime)
set the Impact heuristic |
|
void |
setRandomValueOrdering(int seed)
|
|
|
setVar(MV v,
SV sv)
|
|
boolean |
setVersatile(CPSolver s,
int inittime)
set a heuristic that automatically choose between impact and DomWdeg |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public PreProcessCPSolver()
public PreProcessCPSolver(Configuration configuration)
public PreProcessCPSolver(IEnvironment env, Configuration configuration)
Method Detail |
---|
public final DisjunctiveModel getDisjModel()
public final DisjunctiveSModel getDisjSModel()
public PPModelToCPSolver getMod2Sol()
public void setRandomValueOrdering(int seed)
public void read(Model m)
read
in interface Solver
read
in class CPSolver
m
- modelpublic boolean setVersatile(CPSolver s, int inittime)
s
- solverinittime
- init time
public boolean setDomOverDeg(CPSolver s)
s
- solver
public boolean setDomOverWeg(CPSolver s, int inittime)
s
- solverinittime
- init time
public boolean setImpact(CPSolver s, int initialisationtime)
s
- solverinitialisationtime
- init time
public boolean isExtensionnal()
public PPSearch getBBSearch()
public final <MV extends Variable,SV extends Var> void setVar(MV v, SV sv)
public final <MC extends Constraint,SC extends SConstraint> void setCstr(MC c, SC sc)
public final boolean contains(Constraint c)
public boolean initialPropagation()
public boolean rootNodeSingleton(int timelimit)
timelimit
- the time limit to respect
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |