Generated on Mon Aug 25 11:35:47 2008 for Gecode by doxygen 1.5.6

Graph constraints
[Using finite domain integers]


void Gecode::circuit (Space *home, const IntVarArgs &x, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator such that x forms a circuit.

Function Documentation

void Gecode::circuit ( Space *  home,
const IntVarArgs &  x,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 

Post propagator such that x forms a circuit.

x forms a circuit if the graph with edges $i\to j$ where $x_i=j$ has a single cycle covering all nodes.

Supports domain (icl = ICL_DOM) and value propagation (all other values for icl), where this refers to whether value or domain consistent distinct in enforced on x.

Throws an exception of type Int::ArgumentSame, if x contains the same unassigned variable multiply.

Definition at line 43 of file