polybori::CAuxTypes Class Reference

This struct contains auxiliary type definitions. More...

#include <pbori_defs.h>

Inheritance diagram for polybori::CAuxTypes:

polybori::CCuddDDFacade< polybori::BoolePolyRing, polybori::BooleSet > polybori::BooleEnv polybori::BooleExponent polybori::BooleMonomial polybori::BoolePolynomial polybori::BoolePolyRing polybori::BooleVariable polybori::CCheckedIdx polybori::CCuddCore polybori::CCuddDDFacade< RingType, DiagramType > polybori::CCuddInterface polybori::CDegreeArgumentCache< TagType, DDType > polybori::COrderingBase polybori::CTypes polybori::dd_operations< CCuddNavigator >

List of all members.

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.


Detailed Description

This struct contains auxiliary type definitions.

Member Typedef Documentation

Type for standard true/false statements.

typedef std::size_t polybori::CAuxTypes::size_type

Type for lengths, dimensions, etc.

Type for integer numbers.

Reimplemented in polybori::BooleMonomial.

Type for indices.

typedef std::size_t polybori::CAuxTypes::hash_type

Type for hashing.

typedef unsigned int polybori::CAuxTypes::errornum_type

Type used to store error codes.

Reimplemented in polybori::PBoRiError, and polybori::PBoRiGenericError< ErrorCode >.

typedef short int polybori::CAuxTypes::comp_type

Type for ordering codes.

Reimplemented in polybori::BooleEnv, polybori::BoolePolyRing, and polybori::CCuddCore.

Type used to verbose error information.

Reimplemented in polybori::PBoRiError, and polybori::PBoRiGenericError< ErrorCode >.

typedef std::ostream polybori::CAuxTypes::ostream_type

typedef const char* polybori::CAuxTypes::vartext_type

Type for setting/getting names of variables.

Reimplemented in polybori::BooleEnv, and polybori::BoolePolyRing.

typedef unsigned long polybori::CAuxTypes::large_size_type

large size_type (necessary?)

Type for counting references.


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

Generated on Wed Jan 30 16:39:53 2013 for PolyBoRi by  doxygen 1.5.6