Interface Procedure<E>

    • Method Detail

      • execute

        void execute​(E e)
              throws ContradictionException
        Action to execute in a Delta object, within the forEachRemVal method.
        Parameters:
        e - object to deal with in the execution
        Throws:
        ContradictionException - if a contradiction occurs