select.cc File Reference

(Revision: 2544)

#include "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 &sn, SetVar s2, SetVar s1)

void Gecode::selectInterIn (Space *home, const SetVarArgs &sn, SetVar s2, SetVar s1, const IntSet &universe)

void Gecode::selectSets (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 &xs, 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 &sn, SetVar s2, SetVar s1)
void	Gecode::selectInterIn (Space *home, const SetVarArgs &sn, SetVar s2, SetVar s1, const IntSet &universe)
void	Gecode::selectSets (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 &xs, SetVar y)
	Post propagator for $\parallel\langle x_0,\dots,x_{n-1}\rangle[y]$ .