[ 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