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

<ConsistencyModule:> circuit_g(+Succ)

Constrains elements in Succ to form a Hamiltonian circuit, with native Gecode indexing.
Succ
A collection of different (domain) variables or integers

Description

This version of circuit/1 uses the native Gecode indexing, which starts from 0. This is different from normal ECLiPSe's indexing, which starts from 1, and may be incompatible with existing ECLiPSe code.

See circuit/1 for a more detailed description of this predicate.

Examples

circuit_g([A,2,3,0])

A = 1

See Also

circuit / 1