[ library(gfd) | Reference Manual | Alphabetic Index ]
<ConsistencyModule:> circuit_g(+Succ,++CostMatrix,+ArcCosts,?Cost)
Constrains elements in Succ to form a Hamiltonian circuit with cost Cost, using native Gecode indexing.
- Succ
- A collection of N different (domain) variables or integers
- CostMatrix
- A NxN matrix collection of integers
- ArcCosts
- A collection of N (domain) variables or integers.
- Cost
- An (domain) variable or integer (array notation accepted).
Description
  This version of circuit/4 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 circuit/4 for a more detailed description of this predicate.
Examples
CostM = []([](0,3,5,7),[](4,0,9,6),[](2,1,0,5),[](-7,8,-2,0)),
        circuit_g([1,2,3,0], CostM, [C0,C1,C2,C3], C).
See Also
circuit / 4