main page modules namespaces classes files
Gecode home

search for 

projectors.hh File Reference

(Revision: 3573)

#include "gecode/set.hh"
#include "gecode/support/dynamic-array.hh"
#include "gecode/support/shared-array.hh"
#include "gecode/set/projectors/set-expr.icc"
#include "gecode/set/projectors/projector.icc"
#include "gecode/set/projectors/projector-set.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::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...
Specifying finite set projectors
SetExpr	Gecode::operator- (const SetExpr &s)
	Return set expression for the complement of s.
SetExpr	Gecode::operator|| (const SetExpr &s, const SetExpr &t)
	Return set expression for the union of s and t.
SetExpr	Gecode::operator && (const SetExpr &, const SetExpr &)
	Return set expression for the intersection of s and t.
SetExpr	Gecode::operator- (const SetExpr &, const SetExpr &)
	Return set expression for the difference of s and t.
Posting projection propagators
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

---

Define Documentation

#define __GECODE_GENERATOR_PROJECTORS_HH

Definition at line 23 of file projectors.hh.