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

   Constrains elements in Succ 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
   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/6 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/6 for a more detailed description of this constraint.

Examples
   [eclipse 3]: CostM = []([](0,3,5,7),[](4,0,9,6),[](2,1,0,5),[](-7,8,-2,0)),
        ham_path_g(3,2,[1,2,4,0], CostM, [C0,C1,C2,C3], C).

CostM = []([](0, 3, 5, 7), [](4, 0, 9, 6), [](2, 1, 0, 5), [](-7, 8, -2, 0))
C0 = 3
C1 = 9
C2 = 0
C3 = -7
C = 5


See Also
   ham_path / 6
