PolyBoRi
Public Types
polybori::CAuxTypes Class Reference

This struct contains auxiliary type definitions. More...

#include <pbori_defs.h>

Inheritance diagram for polybori::CAuxTypes:
polybori::CCacheManagement< BoolePolyRing, CCacheTypes::block_degree, 2 > polybori::CCacheManagement< BoolePolyRing, CCacheTypes::degree, 1 > polybori::CCacheManagement< BoolePolyRing, CCacheTypes::degree, 2 > polybori::CCacheManagement< BoolePolyRing, TagType, 2 > polybori::CCacheManagement< ManagerType, CacheType, 2 > polybori::BooleEnv polybori::BooleExponent polybori::BooleMonomial polybori::BoolePolynomial polybori::BooleVariable polybori::CCacheManagement< ManagerType, CacheType, ArgumentLength > polybori::CCheckedIdx polybori::CCuddCore polybori::CCuddDDFacade< RingType, DiagramType > polybori::CDegreeArgumentCache< TagType, DDType > 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 short int polybori::CAuxTypes::comp_type

Type for comparisons.

Reimplemented in polybori::BoolePolynomial.

Type for polynomial degrees (ranges from -1 to maxint)

typedef unsigned int polybori::CAuxTypes::errornum_type

Type used to store error codes.

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

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.

Type for integer numbers.

Reimplemented in polybori::BooleMonomial.

typedef unsigned long polybori::CAuxTypes::large_size_type

large size_type (necessary?)

Type for ordering codes.

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

typedef std::ostream polybori::CAuxTypes::ostream_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::BooleEnv.


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