
<ConsistencyModule:> inverse_g(+Succ,+SuccOffset,+Pred,+PredOffset)

   Constrains elements of Succ (with SuccOffset) to be the successors and Pred (with PredOffset) to be the predecessors of nodes in a digraph

Arguments
   Succ                A collection of N different (domain) variables or integers
   SuccOffset          An integer.
   Pred                A collection  of N different (domain) variables or integers
   PredOffset          An integer.

Type
   library(gfd)

Description
  This version of inverse/4 uses the native Gecode indexing, which starts 
  from 0, i.e. the first elements in Succ and Pred has position 0. This is 
  different from normal ECLiPSe's indexing, which starts from 1.

  This predicate maps directly to Gecode's native implementation of 
  the constraint, without the offset adjustments of inverse/4.

  See inverse/4 for a more detailed description of this predicate.

See Also
   inverse / 4
