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.10
-
Method Summary
Modifier and TypeMethodDescriptionvoid
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 Details
-
executedAtExit
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
It sets the children of this exit listener.- Parameters:
children
- an array containing the children.
-
setChildrenListeners
It sets one child listener.- Parameters:
child
- the only child listener used by this listener.
-