select.cc File Reference

(Revision: 3215)

#include "gecode/set/select.hh"

Go to the source code of this file.

Namespaces

namespace Gecode

Functions

void Gecode::selectUnion (Space *home, const SetVarArgs &x, SetVar y, SetVar z)

Post propagator for $z=\bigcup\langle x_0,\dots,x_{n-1}\rangle[y]$ If y is the empty set, z will also be constrained to be empty (as an empty union is empty).

void Gecode::selectInter (Space *home, const SetVarArgs &x, SetVar y, SetVar z)

void Gecode::selectInterIn (Space *home, const SetVarArgs &x, SetVar y, SetVar z, const IntSet &universe)

void Gecode::selectSet (Space *home, const SetVarArgs &x, IntVar y, SetVar z)

Post propagator for $z=\langle x_0,\dots,x_{n-1}\rangle[y]$ .

void Gecode::selectDisjoint (Space *home, const SetVarArgs &x, SetVar y)

Post propagator for $\parallel\langle x_0,\dots,x_{n-1}\rangle[y]$ .


Namespaces
namespace	Gecode
Functions
void	Gecode::selectUnion (Space *home, const SetVarArgs &x, SetVar y, SetVar z)
	Post propagator for $z=\bigcup\langle x_0,\dots,x_{n-1}\rangle[y]$ If y is the empty set, z will also be constrained to be empty (as an empty union is empty).
void	Gecode::selectInter (Space *home, const SetVarArgs &x, SetVar y, SetVar z)
void	Gecode::selectInterIn (Space *home, const SetVarArgs &x, SetVar y, SetVar z, const IntSet &universe)
void	Gecode::selectSet (Space *home, const SetVarArgs &x, IntVar y, SetVar z)
	Post propagator for $z=\langle x_0,\dots,x_{n-1}\rangle[y]$ .
void	Gecode::selectDisjoint (Space *home, const SetVarArgs &x, SetVar y)
	Post propagator for $\parallel\langle x_0,\dots,x_{n-1}\rangle[y]$ .