-
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 aGraphDelta
object, within theforEachRemVal
method.
-
-
-
Method Detail
-
execute
void execute(int i, int j) throws ContradictionException
Action to execute in aGraphDelta
object, within theforEachRemVal
method. Used to iterate on a set if arcs- Parameters:
i
- tail of the arcj
- arrow of the arc- Throws:
ContradictionException
- when a incoherence is encountered
-
-