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

<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.
Start
An integer or (domain) variable (array notation accepted)
End
An integer or (domain) variable (array notation accepted)
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 (array notation accepted).
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