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

typedef variable_names_type::const_reference polybori::CRingCore::const_varname_reference

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.

typedef CVariableNames polybori::CRingCore::variable_names_type

Define type for storing names of variables.

---

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

• CRingCore.h