PolyBoRi
Public Types | Public Member Functions | List of all members
polybori::CDDManager< Cudd > Class Template Reference

#include <CDDManager.h>

Inheritance diagram for polybori::CDDManager< Cudd >:
polybori::CDDManagerBase< Cudd, Cudd >

Public Types

typedef Cudd manager_type
typedef Cudd storage_type
typedef CDDManagerBase
< manager_type, storage_type
base
typedef CDDManager< storage_typeself
- Public Types inherited from polybori::CDDManagerBase< Cudd, Cudd >
typedef Cudd interfaced_type
 Interfacing Cudd's or CCuddInterces's zero-suppressed decision diagram type.
typedef Cudd interfaced_store
 Storing interfaced_type or reference of it.
typedef CDDManagerBase
< interfaced_type,
interfaced_store
self
 Generic access to type of *this.
typedef CTypes::size_type size_type
 Define size type.
typedef CTypes::idx_type idx_type
 Define index type.
typedef manager_traits
< interfaced_type >::dd_base 
dd_base
 Define raw type for decision diagrams.
typedef CDDInterface< dd_basedd_type
 Define type for decision diagrams.
typedef std::map< idx_type,
dd_base
persistent_cache_type
 Define type for caching persistent variables.
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.

Public Member Functions

 CDDManager (size_type nvars=0)
 Construct new decision diagramm manager.
 ~CDDManager ()
- Public Member Functions inherited from polybori::CDDManagerBase< Cudd, Cudd >
 CDDManagerBase (size_type nvars=0, size_type numSlots=CUDD_UNIQUE_SLOTS, size_type cacheSize=CUDD_CACHE_SLOTS, unsigned long maxMemory=0)
 Default constructor.
 CDDManagerBase (const self &rhs)
 Copy constructor.
 CDDManagerBase (const interfaced_type &rhs)
 Constructor from given ring.
 CDDManagerBase (const dd_type &dd)
 Extract manager from given decision diagram.
 ~CDDManagerBase ()
 Destructor.
dd_base fetchDiagram (const dd_base &rhs) const
 Get decision diagram, from the same manager, but different wrapper.
dd_base ddVariable (idx_type nvar) const
 Access nvar-th managed variable.
dd_base variable (idx_type nvar) const
 Access nvar-th managed variable.
dd_base persistentVariable (idx_type nvar) const
 Access nvar-th managed variable.
size_type nVariables () const
 Get number of managed variables.
dd_type empty () const
dd_type blank () const
 operator interfaced_type & ()
 Casting operator to interfaced type.
 operator const interfaced_type & () const
 Constant casting operator to interfaced type.
interfaced_typemanager ()
 Get interfaced type.
const interfaced_typemanager () const
 Get interfaced type.
void printInfo () const
 Print out statistics and settings for a decision diagram manager.
void setVariableName (idx_type idx, const_varname_reference varname)
 Set name of variable with index idx.
const_varname_reference getVariableName (idx_type idx) const
 Get name of variable with index idx.

Member Typedef Documentation

typedef CDDManagerBase<manager_type, storage_type> polybori::CDDManager< Cudd >::base
typedef Cudd polybori::CDDManager< Cudd >::manager_type
typedef CDDManager<storage_type> polybori::CDDManager< Cudd >::self
typedef Cudd polybori::CDDManager< Cudd >::storage_type

Constructor & Destructor Documentation

polybori::CDDManager< Cudd >::CDDManager ( size_type  nvars = 0)
inline

Construct new decision diagramm manager.

polybori::CDDManager< Cudd >::~CDDManager ( )
inline

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