PolyBoRi
|
This struct contains auxiliary type definitions. More...
#include <pbori_defs.h>
Public Types | |
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. |
This struct contains auxiliary type definitions.
typedef bool polybori::CAuxTypes::bool_type |
Type for standard true/false statements.
typedef short int polybori::CAuxTypes::comp_type |
typedef int polybori::CAuxTypes::deg_type |
Type for polynomial degrees (ranges from -1 to maxint)
Reimplemented in polybori::CBlockOrderingFacade< OrderType, OrderTag >, polybori::CBlockOrderingFacade< BlockDegLexOrder, block_dlex_tag >, and polybori::CBlockOrderingFacade< BlockDegRevLexAscOrder, block_dp_asc_tag >.
typedef unsigned int polybori::CAuxTypes::errornum_type |
Type used to store error codes.
Reimplemented in polybori::PBoRiGenericError< ErrorCode >, and polybori::PBoRiError.
typedef const char* polybori::CAuxTypes::errortext_type |
Type used to verbose error information.
Reimplemented in polybori::PBoRiGenericError< ErrorCode >, and polybori::PBoRiError.
typedef std::size_t polybori::CAuxTypes::hash_type |
Type for hashing.
typedef int polybori::CAuxTypes::idx_type |
Type for indices.
typedef int polybori::CAuxTypes::integer_type |
Type for integer numbers.
Reimplemented in polybori::BooleMonomial.
typedef unsigned long polybori::CAuxTypes::large_size_type |
large size_type (necessary?)
typedef int polybori::CAuxTypes::ordercode_type |
Type for ordering codes.
Reimplemented in polybori::CCuddCore, polybori::BoolePolyRing, and polybori::BooleEnv.
typedef std::ostream polybori::CAuxTypes::ostream_type |
Type for out-stream.
Reimplemented in polybori::CCuddDDFacade< RingType, DiagramType >, polybori::CCuddDDFacade< BoolePolyRing, BooleSet >, polybori::BoolePolynomial, and polybori::BooleMonomial.
typedef std::size_t polybori::CAuxTypes::refcount_type |
Type for counting references.
typedef std::size_t polybori::CAuxTypes::size_type |
Type for lengths, dimensions, etc.
typedef const char* polybori::CAuxTypes::vartext_type |
Type for setting/getting names of variables.
Reimplemented in polybori::BoolePolyRing, and polybori::BooleEnv.