Package org.jacop.api

Interface Stateful

    • Method Summary

      All Methods Instance Methods Abstract Methods Default Methods 
      Modifier and Type Method Description
      default boolean isStateful()
      This function can be overriden by any constraint to specify dynamic conditions (based on the domain of variables at imposition level to decide if it is a stateful constraint.
      void removeLevel​(int level)
      This function is called in case of the backtrack, so a constraint can clear the queue of changed variables which is no longer valid.
    • Method Detail

      • removeLevel

        void removeLevel​(int level)
        This function is called in case of the backtrack, so a constraint can clear the queue of changed variables which is no longer valid. This function is called *before* all timestamps, variables, mutablevariables have reverted to their previous value.
        Parameters:
        level - the level which is being removed.
      • isStateful

        default boolean isStateful()
        This function can be overriden by any constraint to specify dynamic conditions (based on the domain of variables at imposition level to decide if it is a stateful constraint.
        Returns:
        true if constraint is stateful.