[ library(gfd) | Reference Manual | Alphabetic Index ]

<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.
Succ
A collection of N different (domain) variables or integers
Pred
A collection of N different (domain) variables or integers

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