[ library(gfd) | Reference Manual | Alphabetic Index ]
<ConsistencyModule:> ham_path_g(?Start,?End,+Succ,+Offset)
Constrains elements (offset by Offset) in Succ to form a Hamiltonian path from Start to End, with 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 different (domain) variables or integers
- Offset
- Offset for Succ (An integer)
Description
This version of ham_path_offset/4 uses the native Gecode indexing, which
starts from 0. This is different from normal ECLiPSe's indexing, which
starts from 1. Offset is not adjusted in this version. This version of
the constraint is provided for completeness, in case the user is using
native Gecode indexing in their code, so that Offset does not need to
be adjusted manually by the user.
See ham_path_offset/4 for a more detailed description of this predicate.
See Also
ham_path_offset / 4