|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface GlobalSearchLimitManager
The interface of objects limiting the global search exploration
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 |
getRestartFromStrategyCount()
get the number of restarts caused by the restart strategy. |
UniversalRestartStrategy |
getRestartStrategy()
get the restart strategy, if any. |
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. |
void |
reset()
resets the limit (the counter run from now on) |
Methods inherited from interface choco.IPretty |
---|
pretty |
Method Detail |
---|
AbstractGlobalSearchStrategy getSearchStrategy()
void initialize()
void reset()
void newNode() throws ContradictionException
ContradictionException
- if the limit does not accept the creation of the new node.void endNode() throws ContradictionException
ContradictionException
- if the limit does not accept the death of the node.void endTreeSearch()
boolean newRestart()
true
if the limit does stop the restart process.
int getTimeCount()
UniversalRestartStrategy getRestartStrategy()
void cancelRestartStrategy()
int getRestartFromStrategyCount()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |