choco.kernel.solver.search
Interface GlobalSearchLimitManager

All Superinterfaces:
IPretty
All Known Implementing Classes:
SearchLimitManager

public interface GlobalSearchLimitManager
extends IPretty

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

getSearchStrategy

AbstractGlobalSearchStrategy getSearchStrategy()
Returns:
strategy the controller of the search exploration, managing the limit

initialize

void initialize()
initialize the limit.


reset

void reset()
resets the limit (the counter run from now on)


newNode

void newNode()
             throws ContradictionException
notify the limit object whenever a new node is created in the search tree

Throws:
ContradictionException - if the limit does not accept the creation of the new node.

endNode

void endNode()
             throws ContradictionException
notify the limit object whenever the search closes a node in the search tree

Throws:
ContradictionException - if the limit does not accept the death of the node.

endTreeSearch

void endTreeSearch()

newRestart

boolean newRestart()
notify the limit object whenever the search has been restarted. return true if the limit does stop the restart process.


getTimeCount

int getTimeCount()
Get the time in milliseconds elapsed since the beginning of the search.


getRestartStrategy

UniversalRestartStrategy getRestartStrategy()
get the restart strategy, if any.


cancelRestartStrategy

void cancelRestartStrategy()
cancel the restart strategy.


getRestartFromStrategyCount

int getRestartFromStrategyCount()
get the number of restarts caused by the restart strategy.

Returns:


Copyright © 2012. All Rights Reserved.