Gecode::BddMgrException Member List

This is the complete list of members for Gecode::BddMgrException, including all inherited members.

BddMgrException(const char *l)	Gecode::BddMgrException	[inline]
Exception(const char *l, const char *i)	Gecode::Exception
what(void) const	Gecode::Exception	[virtual]