[ library(gfd) | Reference Manual | Alphabetic Index ]

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.
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.

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