[ 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