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.9

Author:

Radoslaw Szymanek and Krzysztof Kuchcinski

Method Summary

Modifier and Type	Method and 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.