Interface PairProcedure


  • public interface PairProcedure

    Since:
    may 2012
    Author:
    Jean-Guillaume Fages
    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      void execute​(int i, int j)
      Action to execute in a GraphDelta object, within the forEachRemVal method.
    • Method Detail

      • execute

        void execute​(int i,
                     int j)
              throws ContradictionException
        Action to execute in a GraphDelta object, within the forEachRemVal method. Used to iterate on a set if arcs
        Parameters:
        i - tail of the arc
        j - arrow of the arc
        Throws:
        ContradictionException - when a incoherence is encountered