
<ConsistencyModule:> ham_path_offset_g(?Start,?End,+Succ,+Offset,++CostMatrix,+ArcCosts,?Cost)

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

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

Type
   library(gfd)

Description
  This version of ham_path_offset/7 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 ham_path_offset/7 for a more detailed description of this predicate.

See Also
   ham_path_offset / 7
