[ 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