projectors.hh File Reference

(Revision: 7536)

#include "gecode/set.hh"
#include "gecode/set/projectors/set-expr.icc"
#include "gecode/set/projectors/projector.icc"
#include "gecode/set/projectors/projector-set.icc"
#include "gecode/set/projectors/formula.icc"

Go to the source code of this file.

Namespaces
namespace	Gecode
Classes
class	Gecode::SetExprCode
	Code representing set-valued expressions for finite set projectors. More...
class	Gecode::SetExprCode::Stream
	To incrementally build up the instructions. More...
class	Gecode::SetExpr
	Set-valued expressions for finite set projectors. More...
class	Gecode::Projector
	Finite set projector specification. More...
class	Gecode::ProjectorSet
	Group of finite set projector specifications. More...
class	Gecode::Formula
	Formulas for specifying set constraints. More...
Specifying finite set projectors
Gecode::SetExpr	operator- (const Gecode::SetExpr &s)
	Return set expression for the complement of s.
Gecode::SetExpr	operator|| (const Gecode::SetExpr &s, const Gecode::SetExpr &t)
	Return set expression for the union of s and t.
Gecode::SetExpr	operator && (const Gecode::SetExpr &s, const Gecode::SetExpr &t)
	Return set expression for the intersection of s and t.
Gecode::SetExpr	operator- (const Gecode::SetExpr &s, const Gecode::SetExpr &t)
	Return set expression for the difference of s and t.
Posting projection propagators
void	Gecode::projector (Space *home, const SetVarArgs &xa, ProjectorSet &ps, bool negated=false)
	Post projection propagators for nary constraint.
void	Gecode::projector (Space *home, const SetVar &xa, const SetVar &ya, ProjectorSet &ps, bool negated=false)
	Post projection propagators for binary constraint.
void	Gecode::projector (Space *home, const SetVar &xa, const SetVar &ya, const BoolVar &bv, ProjectorSet &ps)
	Post reified projection propagators for binary constraint.
void	Gecode::projector (Space *home, const SetVar &xa, const SetVar &ya, const SetVar &za, ProjectorSet &ps, bool negated=false)
	Post projection propagators for ternary constraint.
void	Gecode::projector (Space *home, const SetVar &xa, const SetVar &ya, const SetVar &za, const BoolVar &bv, ProjectorSet &ps)
	Post reified projection propagators for ternary constraint.
void	Gecode::projector (Space *home, const SetVar &xa, const SetVar &ya, const IntVar &i, Projector &p)
	Post projection propagator for cardinality constraint.
void	Gecode::projector (Space *home, const SetVar &xa, const SetVar &ya, const SetVar &za, const IntVar &i, Projector &p)
	Post projection propagator for cardinality constraint.
Defines
#define	__GECODE_GENERATOR_PROJECTORS_HH
Functions
std::ostream &	operator<< (std::ostream &, const Gecode::SetExprCode &sec)
std::ostream &	operator<< (std::ostream &, const Gecode::Projector &p)
std::ostream &	operator<< (std::ostream &, const Gecode::ProjectorSet &ps)

---

Define Documentation

#define __GECODE_GENERATOR_PROJECTORS_HH

Definition at line 43 of file projectors.hh.

---

Function Documentation

Gecode::SetExpr operator-

(

const Gecode::SetExpr &

s

)

[inline]

Return set expression for the complement of s.

Definition at line 105 of file set-expr.icc.

Gecode::SetExpr operator||	(	const Gecode::SetExpr &	s,
		const Gecode::SetExpr &	t
	)			[inline]

Return set expression for the union of s and t.

Definition at line 108 of file set-expr.icc.

Gecode::SetExpr operator &&	(	const Gecode::SetExpr &	s,
		const Gecode::SetExpr &	t
	)			[inline]

Return set expression for the intersection of s and t.

Definition at line 113 of file set-expr.icc.

Gecode::SetExpr operator-	(	const Gecode::SetExpr &	s,
		const Gecode::SetExpr &	t
	)			[inline]

Return set expression for the difference of s and t.

Definition at line 118 of file set-expr.icc.

std::ostream& operator<<	(	std::ostream &	,
		const Gecode::SetExprCode &	sec
	)

Definition at line 323 of file set-expr.cc.

std::ostream& operator<<	(	std::ostream &	,
		const Gecode::Projector &	p
	)

Definition at line 142 of file projector.cc.

std::ostream& operator<<	(	std::ostream &	,
		const Gecode::ProjectorSet &	ps
	)

Definition at line 84 of file projector-set.cc.