Package org.jacop.api

Interface RemoveLevelLate

    • Method Detail

      • removeLevelLate

        void removeLevelLate​(int level)
        This function is called in case of the backtrack. It is called after all timestamps, variables, mutablevariables have reverted to their values *after* removing the level.
        Parameters:
        level - the level which is being removed.