|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.cp.solver.search.SearchLimitManager
public class SearchLimitManager
Field Summary | |
---|---|
static Logger |
LOGGER
|
protected AbstractGlobalSearchLimit |
restartLimit
|
protected UniversalRestartStrategy |
restartStrategy
|
protected AbstractGlobalSearchLimit |
restartStrategyLimit
|
protected AbstractGlobalSearchLimit |
searchLimit
|
protected AbstractGlobalSearchStrategy |
searchStrategy
|
Constructor Summary | |
---|---|
SearchLimitManager(AbstractGlobalSearchStrategy searchStrategy)
|
Method Summary | |
---|---|
void |
cancelRestartStrategy()
cancel the restart strategy. |
void |
endNode()
notify the limit object whenever the search closes a node in the search tree |
void |
endTreeSearch()
|
int |
getRestartCutoff()
|
int |
getRestartFromStrategyCount()
get the number of restarts caused by the restart strategy. |
AbstractGlobalSearchLimit |
getRestartLimit()
|
UniversalRestartStrategy |
getRestartStrategy()
get the restart strategy, if any. |
AbstractGlobalSearchLimit |
getRestartStrategyLimit()
|
AbstractGlobalSearchLimit |
getSearchLimit()
|
AbstractGlobalSearchStrategy |
getSearchStrategy()
|
int |
getTimeCount()
Get the time in milliseconds elapsed since the beginning of the search. |
void |
initialize()
initialize the limit. |
void |
newNode()
notify the limit object whenever a new node is created in the search tree |
boolean |
newRestart()
notify the limit object whenever the search has been restarted. |
String |
pretty()
pretty printing of the object. |
void |
reset()
resets the limit (the counter run from now on) |
void |
setRestartLimit(AbstractGlobalSearchLimit restartLimit)
|
void |
setRestartStrategy(UniversalRestartStrategy restartStrategy,
AbstractGlobalSearchLimit restartStrategyLimit)
|
void |
setSearchLimit(AbstractGlobalSearchLimit searchLimit)
|
String |
toString()
|
protected void |
updateTimeCount()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public static final Logger LOGGER
protected final AbstractGlobalSearchStrategy searchStrategy
protected AbstractGlobalSearchLimit restartLimit
protected AbstractGlobalSearchLimit searchLimit
protected UniversalRestartStrategy restartStrategy
protected AbstractGlobalSearchLimit restartStrategyLimit
Constructor Detail |
---|
public SearchLimitManager(AbstractGlobalSearchStrategy searchStrategy)
Method Detail |
---|
public final AbstractGlobalSearchLimit getRestartLimit()
public final UniversalRestartStrategy getRestartStrategy()
GlobalSearchLimitManager
getRestartStrategy
in interface GlobalSearchLimitManager
public final AbstractGlobalSearchLimit getRestartStrategyLimit()
public final void setRestartLimit(AbstractGlobalSearchLimit restartLimit)
public final AbstractGlobalSearchLimit getSearchLimit()
public final void setSearchLimit(AbstractGlobalSearchLimit searchLimit)
public final void setRestartStrategy(UniversalRestartStrategy restartStrategy, AbstractGlobalSearchLimit restartStrategyLimit)
public final int getRestartFromStrategyCount()
GlobalSearchLimitManager
getRestartFromStrategyCount
in interface GlobalSearchLimitManager
public final int getRestartCutoff()
public final int getTimeCount()
getTimeCount
in interface GlobalSearchLimitManager
public final AbstractGlobalSearchStrategy getSearchStrategy()
getSearchStrategy
in interface GlobalSearchLimitManager
protected final void updateTimeCount()
public final void initialize()
GlobalSearchLimitManager
initialize
in interface GlobalSearchLimitManager
public final void reset()
GlobalSearchLimitManager
reset
in interface GlobalSearchLimitManager
public void endTreeSearch()
endTreeSearch
in interface GlobalSearchLimitManager
public final void newNode() throws ContradictionException
GlobalSearchLimitManager
newNode
in interface GlobalSearchLimitManager
ContradictionException
- if the limit does not accept the creation of the new node.public final void endNode() throws ContradictionException
GlobalSearchLimitManager
endNode
in interface GlobalSearchLimitManager
ContradictionException
- if the limit does not accept the death of the node.public final boolean newRestart()
GlobalSearchLimitManager
true
if the limit does stop the restart process.
newRestart
in interface GlobalSearchLimitManager
public final void cancelRestartStrategy()
GlobalSearchLimitManager
cancelRestartStrategy
in interface GlobalSearchLimitManager
public String toString()
toString
in class Object
public String pretty()
IPretty
pretty
in interface IPretty
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |