
<ConsistencyModule:> circuit_offset_g(+Succ,+Offset,++CostMatrix,+ArcCosts,?Cost)

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

Arguments
   Succ                A collection of N different (domain) variables or integers
   Offset              Offset for Succ (An integer)
   CostMatrix          A NxN matrix collection of integers
   ArcCosts            A collection of N (domain) variables or integers.
   Cost                A (domain) variable or integer (array notation accepted).

Type
   library(gfd)

Description
  This version of circuit_offset/5 uses the native Gecode indexing, which starts 
  from 0. This is different from normal ECLiPSe's indexing, which starts from 1.

  This constraint can be embedded in a constraint expression in its
  functional form (without the last argument).


See Also
   circuit_offset / 5
