bool-rel.hpp File Reference

(Revision: 9878)

Go to the source code of this file.

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