#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 |
| polybori::handle_error< ErrorNumber >::handle_error | ( | errorfunc_type | errfunc | ) | [inline] |
| bool polybori::handle_error< ErrorNumber >::found | ( | unsigned | err | ) | const [inline] |
References UNLIKELY.
| void polybori::handle_error< ErrorNumber >::operator() | ( | unsigned | err | ) | const [inline] |
References UNLIKELY.
const errorfunc_type polybori::handle_error< ErrorNumber >::m_errfunc [protected] |
1.5.9