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

<ConsistencyModule:> circuit_offset_g(+Succ,+Offset,++CostMatrix,+ArcCosts,?Cost)

Constrains elements in Succ (offset by Offset) to form a Hamiltonian circuit with cost Cost, using 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
ArcCosts
A collection of N (domain) variables or integers.
Cost
A (domain) variable or integer (array notation accepted).

Description

This version of circuit_offset/5 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 Also

circuit_offset / 5