bool-rel.icc File Reference

(Revision: 6264)

Go to the source code of this file.

Namespaces
namespace	Gecode
namespace	Gecode::MiniModel
Functions
MiniModel::BoolRel	Gecode::tt (const MiniModel::BoolExpr &)
	State that Boolean expression must be true.
MiniModel::BoolRel	Gecode::ff (const MiniModel::BoolExpr &)
	State that Boolean expression must be false.
void	Gecode::post (Space *home, const MiniModel::BoolRel &r, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
	Post Boolean relation.