Generated on Tue Jan 19 2021 06:15:49 for Gecode by doxygen 1.8.13

Functions

void Gecode::sorted (Home home, const IntVarArgs &x, const IntVarArgs &y, IntPropLevel ipl=IPL_DEF)
 Post propagator that y is x sorted in increasing order. More...
 
void Gecode::sorted (Home home, const IntVarArgs &x, const IntVarArgs &y, const IntVarArgs &z, IntPropLevel ipl=IPL_DEF)
 Post propagator that y is x sorted in increasing order. More...
 

Detailed Description

All sorted constraints support bounds consistency only.

Function Documentation

◆ sorted() [1/2]

void Gecode::sorted ( Home  home,
const IntVarArgs x,
const IntVarArgs y,
IntPropLevel  ipl = IPL_DEF 
)

Post propagator that y is x sorted in increasing order.

Might throw the following exceptions:

Definition at line 58 of file sorted.cpp.

◆ sorted() [2/2]

void Gecode::sorted ( Home  home,
const IntVarArgs x,
const IntVarArgs y,
const IntVarArgs z,
IntPropLevel  ipl = IPL_DEF 
)

Post propagator that y is x sorted in increasing order.

The values in z describe the sorting permutation, that is $\forall i\in\{0,\dots,|x|-1\}: x_i=y_{z_i} $.

Might throw the following exceptions:

Definition at line 39 of file sorted.cpp.