[ library(gfd) | Reference Manual | Alphabetic Index ]
# <ConsistencyModule:> circuit_offset_g(+Succ,+Offset,++CostMatrix,?Cost)

Constrains elements in Succ (offset by Offset) to form a Hamiltonian circuit with cost Cost. This version uses native Gecode indexing.
*Succ*
- A collection of N different (domain) variables or integers
*Offset*
- Offset for Succ (An integer)
*CostMatrix*
- A NxN matrix collection of integers.
*Cost*
- A (domain variable or integer (array notation accepted).

## Description

This version of circuit_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.

This constraint can be embedded in a constraint expression in its
functional form (without the last argument).

See circuit_offset/4 for a more detailed description of this predicate.

## See Also

circuit_offset / 4