PolyBoRi
Public Types | Public Member Functions | Protected Attributes | List of all members
polybori::handle_error< ErrorNumber > Struct Template Reference

#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

Member Typedef Documentation

template<unsigned ErrorNumber = CUDD_INTERNAL_ERROR>
typedef mgrcore_traits<Cudd>::errorfunc_type polybori::handle_error< ErrorNumber >::errorfunc_type

Constructor & Destructor Documentation

template<unsigned ErrorNumber = CUDD_INTERNAL_ERROR>
polybori::handle_error< ErrorNumber >::handle_error ( errorfunc_type  errfunc)
inline

Member Function Documentation

template<unsigned ErrorNumber = CUDD_INTERNAL_ERROR>
bool polybori::handle_error< ErrorNumber >::found ( unsigned  err) const
inline

References UNLIKELY.

template<unsigned ErrorNumber = CUDD_INTERNAL_ERROR>
void polybori::handle_error< ErrorNumber >::operator() ( unsigned  err) const
inline

References UNLIKELY.

Member Data Documentation

template<unsigned ErrorNumber = CUDD_INTERNAL_ERROR>
const errorfunc_type polybori::handle_error< ErrorNumber >::m_errfunc
protected

The documentation for this struct was generated from the following file: