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 Details

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