[ library(gfd) | Reference Manual | Alphabetic Index ]
<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
- 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.
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