PolyBoRi
Public Types | Static Public Member Functions | List of all members
polybori::CTypes Class Reference

This struct contains type definitions to be used in library classes. More...

#include <pbori_defs.h>

Inheritance diagram for polybori::CTypes:
polybori::COrderEnums polybori::CErrorEnums polybori::CCompareEnums polybori::CAuxTypes polybori::pbori_traits< dummy_iterator > polybori::pbori_traits< int > polybori::pbori_traits< long int > polybori::pbori_traits< std::set< ValueType > > polybori::pbori_traits< std::vector< ValueType > > polybori::pbori_traits< unsigned int > polybori::pbori_traits< void >

Public Types

typedef CCuddZDD dd_base
 Type of underlying binary decicion diagrams.
typedef CDDInterface< dd_basedd_type
 Type of interface to binary decicion diagrams.
typedef ZDDvector ddvector_type
 Vector of dd_type.
typedef CCuddInterface manager_base
 Variables manager base type.
typedef CDDManager< manager_basemanager_type
 Manage variables to be used by polynomials over Boolean ring.
typedef CDDManager
< manager_base & > 
manager_reference
 Reference to decision diagramm manager.
typedef boost::shared_ptr
< manager_type
manager_ptr
 Define shared pointer to decision diagram manager.
get enumeration base definitions
typedef COrderEnums orderenums_type
typedef CErrorEnums errorenums_type
typedef CCompareEnums compenums_type
typedef CAuxTypes auxtypes_type
- Public Types inherited from polybori::COrderEnums
enum  ordercodes {
  lp, dlex, dp_asc, block_dlex,
  block_dp_asc
}
 Codes For orderings. More...
- Public Types inherited from polybori::CErrorEnums
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, last_error
}
 Error codes enumeration. More...
- Public Types inherited from polybori::CCompareEnums
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 }
- Public Types inherited from polybori::CAuxTypes
typedef bool bool_type
 Type for standard true/false statements.
typedef unsigned int size_type
 Type for lengths, dimensions, etc.
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 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.

Static Public Member Functions

static idx_type max_index ()
 Fix type and value of maximal index.

Detailed Description

This struct contains type definitions to be used in library classes.

It mainly consists of definitions for

Member Typedef Documentation

Type of underlying binary decicion diagrams.

Type of interface to binary decicion diagrams.

Vector of dd_type.

Variables manager base type.

typedef boost::shared_ptr< manager_type > polybori::CTypes::manager_ptr

Define shared pointer to decision diagram manager.

Reference to decision diagramm manager.

Manage variables to be used by polynomials over Boolean ring.

Member Function Documentation

static idx_type polybori::CTypes::max_index ( )
inlinestatic

Fix type and value of maximal index.


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