Package org.jacop.search
Interface ExitListener
-
- All Known Implementing Classes:
NoGoodsCollector,TraceGenerator
public interface ExitListenerThis listener is executed when search has finished executing is about to exit the labeling procedure.- Version:
- 4.8
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voidexecutedAtExit(Store store, int solutionsNo)It is executed right after time out is determined.voidsetChildrenListeners(ExitListener child)It sets one child listener.voidsetChildrenListeners(ExitListener[] children)It sets the children of this exit listener.
-
-
-
Method Detail
-
executedAtExit
void executedAtExit(Store store, int solutionsNo)
It is executed right after time out is determined.- Parameters:
store- store in the context of which the search took place.solutionsNo- the number of solutions found.
-
setChildrenListeners
void setChildrenListeners(ExitListener[] children)
It sets the children of this exit listener.- Parameters:
children- an array containing the children.
-
setChildrenListeners
void setChildrenListeners(ExitListener child)
It sets one child listener.- Parameters:
child- the only child listener used by this listener.
-
-