Gecode::MiniModel::BoolRel Class Reference

#include <minimodel.hh>

List of all members.

---

Detailed Description

Boolean relations.

Definition at line 545 of file minimodel.hh.

Public Member Functions
	BoolRel (const BoolExpr &e, bool t)
	Constructor.
void	post (Space *home, IntConLevel icl, PropKind pk) const
	Post propagators for relation.

---

Constructor & Destructor Documentation

Gecode::MiniModel::BoolRel::BoolRel	(	const BoolExpr &	e,
		bool	t
	)			[inline]

Constructor.

Definition at line 47 of file bool-rel.icc.

---

Member Function Documentation

void Gecode::MiniModel::BoolRel::post	(	Space *	home,
		IntConLevel	icl,
		PropKind	pk
	)			const [inline]

Post propagators for relation.

Definition at line 51 of file bool-rel.icc.

---

The documentation for this class was generated from the following files:

• gecode/minimodel.hh (Revision: 7354)
• gecode/minimodel/bool-rel.icc (Revision: 6264)