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

   Constrains elements of Succ to be the successors and Pred to be the predecessors of nodes in a digraph, using native Gecode indexing.

Arguments
   Succ                A collection of N different (domain) variables or integers
   Pred                A collection  of N different (domain) variables or integers

Type
   library(gfd)

Description
  This version of inverse/2 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 more directly to Gecode's native implementation of 
  the constraint, without the conversion between Gecode and ECLiPSe
  indexing of inverse/2. It may therefore be more efficient, but could also
  be incompatible with existing ECLiPSe code. 

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

See Also
   inverse / 2
