PolyBoRi
|
#include <pbori_func.h>
Public Types | |
typedef mgrcore_traits< Cudd > ::errorfunc_type | errorfunc_type |
Public Member Functions | |
handle_error (errorfunc_type errfunc) | |
bool | found (unsigned err) const |
void | operator() (unsigned err) const |
Protected Attributes | |
const errorfunc_type | m_errfunc |
typedef mgrcore_traits<Cudd>::errorfunc_type polybori::handle_error< ErrorNumber >::errorfunc_type |
|
inline |
|
inline |
References UNLIKELY.
|
inline |
References UNLIKELY.
|
protected |