PolyBoRi
Public Types
polybori::CRingCore Class Reference

#include <CRingCore.h>

List of all members.

Public Types

typedef DdManager * mgr_type
 Type of Cudd's decision diagram manager.
typedef boost::intrusive_ptr
< mgr_type
mgr_ptr
 Smartpointer to manager.
typedef CVariableNames variable_names_type
 Define type for storing names of variables.
typedef
variable_names_type::const_reference 
const_varname_reference
 Define type for getting names of variables.
typedef COrderingBase order_type
 Type for handling mterm orderings.
typedef boost::shared_ptr
< order_type
order_ptr
 Smart pointer for handling mterm orderings.

Member Typedef Documentation

Define type for getting names of variables.

typedef boost::intrusive_ptr<mgr_type> polybori::CRingCore::mgr_ptr

Smartpointer to manager.

typedef DdManager* polybori::CRingCore::mgr_type

Type of Cudd's decision diagram manager.

typedef boost::shared_ptr<order_type> polybori::CRingCore::order_ptr

Smart pointer for handling mterm orderings.

typedef COrderingBase polybori::CRingCore::order_type

Type for handling mterm orderings.

Define type for storing names of variables.


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