element.cpp File Reference

(Revision: 8320)

#include <gecode/set/element.hh>

Go to the source code of this file.

Classes

class Gecode::Int::Element::ViewToVarArg< Gecode::Set::ConstantView >

Namespaces

namespace Gecode

Gecode toplevel namespace.

namespace Gecode::Int

Finite domain integers.

namespace Gecode::Int::Element

Element propagators

Functions

void Gecode::element (Space &home, SetOpType op, const SetVarArgs &x, SetVar y, SetVar z, const IntSet &u=IntSet(Set::Limits::min, Set::Limits::max))

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

void Gecode::element (Space &home, SetOpType op, const IntSetArgs &x, SetVar y, SetVar z, const IntSet &u=IntSet(Set::Limits::min, Set::Limits::max))

Post propagator for $z=\diamond_{\mathit{op}}\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]$ .


Classes
class	Gecode::Int::Element::ViewToVarArg< Gecode::Set::ConstantView >
Namespaces
namespace	Gecode
	Gecode toplevel namespace.
namespace	Gecode::Int
	Finite domain integers.
namespace	Gecode::Int::Element
	Element propagators
Functions
void	Gecode::element (Space &home, SetOpType op, const SetVarArgs &x, SetVar y, SetVar z, const IntSet &u=IntSet(Set::Limits::min, Set::Limits::max))
	Post propagator for $z=\diamond_{\mathit{op}}\langle x_0,\dots,x_{n-1}\rangle[y]$ .
void	Gecode::element (Space &home, SetOpType op, const IntSetArgs &x, SetVar y, SetVar z, const IntSet &u=IntSet(Set::Limits::min, Set::Limits::max))
	Post propagator for $z=\diamond_{\mathit{op}}\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]$ .