bool-rel.hpp File Reference

(Revision: 8082)

Go to the source code of this file.

Namespaces
namespace	Gecode
	Gecode toplevel namespace.
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 (Space &home, const BoolRel &r, IntConLevel icl=ICL_DEF)
	Post Boolean relation.