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

<ConsistencyModule:> circuit_offset_g(+Succ, +Offset)

Constrains elements (offset by Offset) in Succ to form a Hamiltonian circuit, with native Gecode indexing.
Succ
A collection of different (domain) variables or integers
Offset
Offset for Succ (An integer)

Description

This version of circuit_offset/2 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 circuit_offset/2 for a more detailed description of this predicate.

See Also

circuit_offset / 2