|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.cp.solver.preprocessor.PPSearch
public class PPSearch
Created by IntelliJ IDEA. User: hcambaza Date: Aug 15, 2008
Nested Class Summary | |
---|---|
static class |
PPSearch.BoolSchedComparator
Sort the precedences by decreasing sum of the two durations of the two tasks |
Field Summary | |
---|---|
protected CPModel |
mod
|
protected boolean |
randval
Enforce a random value ordering |
protected int |
randvalseed
|
Constructor Summary | |
---|---|
PPSearch()
|
Method Summary | |
---|---|
static IntDomainVar[] |
concat(IntDomainVar[] t1,
IntDomainVar[] t2)
|
int |
determineHeuristic(CPSolver s)
return 1 (domWdeg) or 2 (Impact) depending on the nature of the problem |
static IntDomainVar[] |
getBooleanVars(CPSolver s)
|
static IntDomainVar[] |
getOtherVars(CPSolver s)
|
static int |
getSumOfDomains(CPSolver s)
|
boolean |
isMixedScheduling()
|
boolean |
isNaryExtensional()
|
boolean |
isReified()
|
boolean |
isSat()
|
boolean |
isScheduling()
|
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 |
setModel(CPModel m)
|
void |
setRandomValueHeuristic(int seed)
|
boolean |
setVersatile(CPSolver s,
int inittime)
set the DomOverDeg heuristic |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected CPModel mod
protected boolean randval
protected int randvalseed
Constructor Detail |
---|
public PPSearch()
Method Detail |
---|
public void setModel(CPModel m)
public void setRandomValueHeuristic(int seed)
public boolean isNaryExtensional()
public boolean isSat()
public boolean isScheduling()
public boolean isReified()
public boolean isMixedScheduling()
public boolean setVersatile(CPSolver s, int inittime)
s
-
public boolean setDomOverDeg(CPSolver s)
s
-
public boolean setDomOverWeg(CPSolver s, int inittime)
s
-
public boolean setImpact(CPSolver s, int initialisationtime)
s
-
public static IntDomainVar[] getBooleanVars(CPSolver s)
public static IntDomainVar[] getOtherVars(CPSolver s)
public static IntDomainVar[] concat(IntDomainVar[] t1, IntDomainVar[] t2)
public int determineHeuristic(CPSolver s)
public static int getSumOfDomains(CPSolver s)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |