sortedness.cc File Reference

Go to the source code of this file.

Namespaces

namespace Gecode

Functions

void Gecode::sortedness (Space *home, const IntVarArgs &x, const IntVarArgs &y, IntConLevel icl=ICL_DEF)

Post propagator $\exists\pi:\forall i\in\{0,\dots,|x|-1\}: y_0 \leq\dots\leq y_{|x|-1} \wedge x_i=y_{\pi(i)}$ .

void Gecode::sortedness (Space *, const IntVarArgs &x, const IntVarArgs &y, const IntVarArgs &z, IntConLevel icl=ICL_DEF)

Post propagator $\forall i\in\{0,\dots,|x|-1\}: y_0 \leq\dots\leq y_{|x|-1} \wedge x_i=y_{z_i}$
.


Namespaces
namespace	Gecode
Functions
void	Gecode::sortedness (Space *home, const IntVarArgs &x, const IntVarArgs &y, IntConLevel icl=ICL_DEF)
	Post propagator $\exists\pi:\forall i\in\{0,\dots,\|x\|-1\}: y_0 \leq\dots\leq y_{\|x\|-1} \wedge x_i=y_{\pi(i)}$ .
void	Gecode::sortedness (Space *, const IntVarArgs &x, const IntVarArgs &y, const IntVarArgs &z, IntConLevel icl=ICL_DEF)
	Post propagator $\forall i\in\{0,\dots,\|x\|-1\}: y_0 \leq\dots\leq y_{\|x\|-1} \wedge x_i=y_{z_i}$ .