
<ConsistencyModule:> circuit_offset_g(+Succ, +Offset)

   Constrains elements (offset by Offset) in Succ to form a Hamiltonian circuit, with native Gecode indexing.

Arguments
   Succ                A collection of different (domain) variables or integers
   Offset              Offset for Succ (An integer)

Type
   library(gfd)

Description
  This version of circuit_offset/2 uses the native Gecode indexing, which
  starts from 0. This is different from normal ECLiPSe's indexing, which
  starts from 1. Offset is not adjusted in this version. This version of 
  the constraint is provided for completeness, in case the user is using
  native Gecode indexing in their code, so that Offset does not need to
  be adjusted manually by the user. 
 
  See circuit_offset/2 for a more detailed description of this predicate.

See Also
   circuit_offset / 2
