element.cc File Reference

Go to the source code of this file.

Namespaces

namespace Gecode

Functions

void Gecode::element (Space *home, const IntArgs &n, IntVar x0, IntVar x1, IntConLevel=ICL_DEF)

Post propagator for $n_{x_0}=x_1$ .

void Gecode::element (Space *home, const IntVarArgs &x, IntVar y0, IntVar y1, IntConLevel icl=ICL_DEF)

Post propagator for $x_{y_0}=y_1$ .


Namespaces
namespace	Gecode
Functions
void	Gecode::element (Space *home, const IntArgs &n, IntVar x0, IntVar x1, IntConLevel=ICL_DEF)
	Post propagator for $n_{x_0}=x_1$ .
void	Gecode::element (Space *home, const IntVarArgs &x, IntVar y0, IntVar y1, IntConLevel icl=ICL_DEF)
	Post propagator for $x_{y_0}=y_1$ .