[ 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