PolyBoRi
|
This class is used for polybori's exception handling. More...
#include <PBoRiError.h>
Public Types | |
typedef CTypes::errornum_type | errornum_type |
adopt global error code enumeration | |
typedef CTypes::errortext_type | errortext_type |
adopt global error text type | |
typedef PBoRiError | self |
generic access to type of *this | |
![]() | |
typedef COrderEnums | orderenums_type |
typedef CErrorEnums | errorenums_type |
typedef CCompareEnums | compenums_type |
typedef CAuxTypes | auxtypes_type |
![]() | |
enum | ordercodes { lp, dlex, dp_asc, block_dlex, block_dp_asc } |
Codes For orderings. More... | |
![]() | |
enum | errorcodes { alright = 0, failed, no_ring, invalid, out_of_bounds, io_error, monomial_zero, illegal_on_zero, division_by_zero, invalid_ite, not_implemented, matrix_size_exceeded, last_error } |
Error codes enumeration. More... | |
![]() | |
enum | comparecodes { less_than = -1, equality = 0, greater_than = +1, less_or_equal_max = 0, greater_or_equal_min = 0 } |
Comparision codes enumeration. More... | |
enum | { max_idx = CUDD_MAXINDEX } |
![]() | |
typedef bool | bool_type |
Type for standard true/false statements. | |
typedef std::size_t | size_type |
Type for lengths, dimensions, etc. | |
typedef int | deg_type |
Type for polynomial degrees (ranges from -1 to maxint) | |
typedef int | integer_type |
Type for integer numbers. | |
typedef int | idx_type |
Type for indices. | |
typedef std::size_t | hash_type |
Type for hashing. | |
typedef unsigned int | errornum_type |
Type used to store error codes. | |
typedef short int | comp_type |
Type for comparisons. | |
typedef int | ordercode_type |
Type for ordering codes. | |
typedef const char * | errortext_type |
Type used to verbose error information. | |
typedef std::ostream | ostream_type |
Type for out-stream. | |
typedef const char * | vartext_type |
Type for setting/getting names of variables. | |
typedef unsigned long | large_size_type |
large size_type (necessary?) | |
typedef std::size_t | refcount_type |
Type for counting references. | |
Public Member Functions | |
PBoRiError (errornum_type err=CTypes::alright) | |
construct instance from error code | |
PBoRiError (const self &) | |
copy constructor | |
~PBoRiError () throw () | |
destructor | |
errornum_type | code () const |
get error code | |
errortext_type | text () const |
get error text | |
const char * | what () const throw () |
std::exception compatible interface | |
Protected Attributes | |
errornum_type | error |
Additional Inherited Members | |
![]() | |
static idx_type | max_index () |
Type of interface to binary decicion diagrams. | |
This class is used for polybori's exception handling.
It's mainly a class wrapper for CTypes::errorcode.
typedef CTypes::errornum_type polybori::PBoRiError::errornum_type |
adopt global error code enumeration
adopt global error text type
typedef PBoRiError polybori::PBoRiError::self |
generic access to type of *this
polybori::PBoRiError::PBoRiError | ( | errornum_type | err = CTypes::alright | ) |
construct instance from error code
References PBORI_TRACE_FUNC.
polybori::PBoRiError::PBoRiError | ( | const self & | rhs | ) |
copy constructor
References PBORI_TRACE_FUNC.
polybori::PBoRiError::~PBoRiError | ( | ) | throw () |
destructor
References PBORI_TRACE_FUNC.
PBoRiError::errornum_type polybori::PBoRiError::code | ( | ) | const |
get error code
References error, and PBORI_TRACE_FUNC.
PBoRiError::errortext_type polybori::PBoRiError::text | ( | ) | const |
get error text
References error, PBORI_TRACE_FUNC, and polybori::CErrorInfo::text().
|
inline |
std::exception compatible interface
|
protected |