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.8
    • 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.