Package org.jacop.search
Interface ExitListener
-
- All Known Implementing Classes:
NoGoodsCollector
,TraceGenerator
public interface ExitListener
This listener is executed when search has finished executing is about to exit the labeling procedure.- Version:
- 4.7
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
executedAtExit(Store store, int solutionsNo)
It is executed right after time out is determined.void
setChildrenListeners(ExitListener child)
It sets one child listener.void
setChildrenListeners(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.
-
-