element.cc File Reference

(Revision: 7339)

#include "gecode/set/element.hh"

Go to the source code of this file.

Namespaces

namespace Gecode

Functions

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

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

void Gecode::elementsUnion (Space *home, const IntSetArgs &s, SetVar y, SetVar z)

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

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

Post propagator for $z=\bigcap\langle x_0,\dots,x_{n-1}\rangle[y]$ using $\mathcal{U}$ as universe.

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

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

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

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

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

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

void Gecode::element (Space *home, const IntSetArgs &s, IntVar y, SetVar z)

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


Namespaces
namespace	Gecode
Functions
void	Gecode::elementsUnion (Space *home, const SetVarArgs &x, SetVar y, SetVar z)
	Post propagator for $z=\bigcup\langle x_0,\dots,x_{n-1}\rangle[y]$ .
void	Gecode::elementsUnion (Space *home, const IntSetArgs &s, SetVar y, SetVar z)
	Post propagator for $z=\bigcup\langle s_0,\dots,s_{n-1}\rangle[y]$ .
void	Gecode::elementsInter (Space *home, const SetVarArgs &x, SetVar y, SetVar z)
	Post propagator for $z=\bigcap\langle x_0,\dots,x_{n-1}\rangle[y]$ using $\mathcal{U}$ as universe.
void	Gecode::elementsInter (Space *home, const SetVarArgs &x, SetVar y, SetVar z, const IntSet &u)
	Post propagator for $z=\bigcap\langle x_0,\dots,x_{n-1}\rangle[y]$ using u as universe.
void	Gecode::elementsDisjoint (Space *home, const SetVarArgs &x, SetVar y)
	Post propagator for $\parallel\langle x_0,\dots,x_{n-1}\rangle[y]$ .
void	Gecode::element (Space *home, const SetVarArgs &x, IntVar y, SetVar z)
	Post propagator for $z=\langle x_0,\dots,x_{n-1}\rangle[y]$ .
void	Gecode::element (Space *home, const IntSetArgs &s, IntVar y, SetVar z)
	Post propagator for $z=\langle s_0,\dots,s_{n-1}\rangle[y]$ .