
<ConsistencyModule:> circuit_g(+Succ)

   Constrains elements in Succ to form a Hamiltonian circuit, with native Gecode indexing.

Arguments
   Succ                A collection of different (domain) variables or integers

Type
   library(gfd)

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
