This template class defines a C++ interface to CUDD's decision diagram structure. More...

#include <CCuddZDD.h>

Public Types
typedef DiagramType	diagram_type
	Name type of *this.
typedef CCuddDDBase	self
typedef CCuddCore::errorfunc_type	errorfunc_type
typedef CCuddCore::large_size_type	large_size_type
typedef CCuddCore::refcount_type	refcount_type
typedef CCuddCore::node_type	node_type
typedef CCuddCore::mgrcore_type	mgrcore_type
typedef CCuddCore::unary_int_function	unary_int_function
typedef CCuddCore::void_function	void_function
typedef CCuddCore::binary_function	binary_function
typedef CCuddCore::binary_int_function	binary_int_function
typedef CCuddCore::ternary_function	ternary_function
typedef CCuddCore::int_unary_function	int_unary_function
typedef CCuddCore::size_type	size_type
typedef CCuddCore::idx_type	idx_type
typedef CCuddCore::mgrcore_ptr	mgrcore_ptr
	Define shared pointer type for handling the decision diagram manager.

Public Member Functions
	CCuddDDBase (mgrcore_ptr ddManager, node_type ddNode)
	Construct diagram from raw CUDD elements.
	CCuddDDBase (const self &from)
	Copy constructor.
	CCuddDDBase ()
	Default constructor.
mgrcore_ptr	manager () const
	Get (shared) pointer to decision diagram manager.
mgrcore_type	getManager () const
	Get raw decision diagram manager.
node_type	getNode () const
	Get raw node structure.
size_type	NodeReadIndex () const
	Get index of curent node.
size_type	nodeCount () const
	Number of nodes in the current decision diagram.
size_type	refCount () const
	Number of references pointing here.
bool	isZero () const
	Test whether diagram represents the empty set.

Protected Member Functions
void	checkSameManager (const diagram_type &other) const
	Test, whether both operands.
void	checkReturnValue (const node_type result) const
	Check whether decision diagram operation in computing result was valid.
void	checkReturnValue (const int result, const int expected=1) const
	Check whether previous decision diagram operation for validity.
Apply CUDD procedures to nodes
diagram_type	apply (binary_function func, const diagram_type &rhs) const
diagram_type	apply (binary_int_function func, idx_type idx) const
diagram_type	apply (ternary_function func, const diagram_type &first, const diagram_type &second) const
idx_type	apply (int_unary_function func) const
Test results from CUDD procedures for validity
diagram_type	checkedResult (node_type result) const
idx_type	checkedResult (idx_type result) const
template<class ResultType >
ResultType	memApply (ResultType(func)(DdManager , node_type)) const
template<class ResultType >
ResultType	memChecked (ResultType result) const

Protected Attributes
mgrcore_ptr	ddMgr
	(Smart) pointer to decsion diagram management
node_type	node
	Raw pointer to decision diagram node.

Detailed Description

template<class DiagramType>
class polybori::CCuddDDBase< DiagramType >

This template class defines a C++ interface to CUDD's decision diagram structure.

The purpose of this wrapper is just to provide an efficient and save way of handling the decision diagrams. It corrects some short-comings of CUDD's built-in interface.

Attention: This template class is intented for internal use only, e.g. as base class for CCuddZDD.

Member Typedef Documentation

template<class DiagramType>

typedef CCuddCore ::binary_function polybori::CCuddDDBase< DiagramType >::binary_function

template<class DiagramType>

typedef CCuddCore ::binary_int_function polybori::CCuddDDBase< DiagramType >::binary_int_function

template<class DiagramType>

typedef DiagramType polybori::CCuddDDBase< DiagramType >::diagram_type

Name type of *this.

template<class DiagramType>

typedef CCuddCore ::errorfunc_type polybori::CCuddDDBase< DiagramType >::errorfunc_type

template<class DiagramType>

typedef CCuddCore ::idx_type polybori::CCuddDDBase< DiagramType >::idx_type

template<class DiagramType>

typedef CCuddCore ::int_unary_function polybori::CCuddDDBase< DiagramType >::int_unary_function

template<class DiagramType>

typedef CCuddCore ::large_size_type polybori::CCuddDDBase< DiagramType >::large_size_type

template<class DiagramType>

typedef CCuddCore::mgrcore_ptr polybori::CCuddDDBase< DiagramType >::mgrcore_ptr

Define shared pointer type for handling the decision diagram manager.

template<class DiagramType>

typedef CCuddCore ::mgrcore_type polybori::CCuddDDBase< DiagramType >::mgrcore_type

template<class DiagramType>

typedef CCuddCore ::node_type polybori::CCuddDDBase< DiagramType >::node_type

template<class DiagramType>

typedef CCuddCore ::refcount_type polybori::CCuddDDBase< DiagramType >::refcount_type

template<class DiagramType>

typedef CCuddDDBase polybori::CCuddDDBase< DiagramType >::self

template<class DiagramType>

typedef CCuddCore ::size_type polybori::CCuddDDBase< DiagramType >::size_type

template<class DiagramType>

typedef CCuddCore ::ternary_function polybori::CCuddDDBase< DiagramType >::ternary_function

template<class DiagramType>

typedef CCuddCore ::unary_int_function polybori::CCuddDDBase< DiagramType >::unary_int_function

template<class DiagramType>

typedef CCuddCore ::void_function polybori::CCuddDDBase< DiagramType >::void_function

Constructor & Destructor Documentation

template<class DiagramType>

polybori::CCuddDDBase< DiagramType >::CCuddDDBase	(	mgrcore_ptr	ddManager,
		node_type	ddNode
	)

inline

Construct diagram from raw CUDD elements.

template<class DiagramType>

polybori::CCuddDDBase< DiagramType >::CCuddDDBase ( const self & from )

inline

Copy constructor.

template<class DiagramType>

polybori::CCuddDDBase< DiagramType >::CCuddDDBase ( )

inline

Default constructor.

Member Function Documentation

template<class DiagramType>

diagram_type polybori::CCuddDDBase< DiagramType >::apply	(	binary_function	func,
		const diagram_type &	rhs
	)		const

inlineprotected

template<class DiagramType>

diagram_type polybori::CCuddDDBase< DiagramType >::apply	(	binary_int_function	func,
		idx_type	idx
	)		const

inlineprotected

template<class DiagramType>

diagram_type polybori::CCuddDDBase< DiagramType >::apply	(	ternary_function	func,
		const diagram_type &	first,
		const diagram_type &	second
	)		const

inlineprotected

template<class DiagramType>

idx_type polybori::CCuddDDBase< DiagramType >::apply ( int_unary_function func ) const

inlineprotected

template<class DiagramType>

diagram_type polybori::CCuddDDBase< DiagramType >::checkedResult ( node_type result ) const

inlineprotected

template<class DiagramType>

idx_type polybori::CCuddDDBase< DiagramType >::checkedResult ( idx_type result ) const

inlineprotected

template<class DiagramType>

void polybori::CCuddDDBase< DiagramType >::checkReturnValue ( const node_type result ) const

inlineprotected

Check whether decision diagram operation in computing result was valid.

template<class DiagramType>

void polybori::CCuddDDBase< DiagramType >::checkReturnValue	(	const int	result,
		const int	expected = `1`
	)		const

inlineprotected

Check whether previous decision diagram operation for validity.

template<class DiagramType>

void polybori::CCuddDDBase< DiagramType >::checkSameManager ( const diagram_type & other ) const

inlineprotected

Test, whether both operands.

template<class DiagramType>

mgrcore_type polybori::CCuddDDBase< DiagramType >::getManager ( ) const

inline

Get raw decision diagram manager.

Referenced by polybori::CCuddDDBase< CCuddZDD >::checkSameManager().

template<class DiagramType>

node_type polybori::CCuddDDBase< DiagramType >::getNode ( ) const

inline

Get raw node structure.

Referenced by polybori::CCuddDDBase< CCuddZDD >::apply().

template<class DiagramType>

bool polybori::CCuddDDBase< DiagramType >::isZero ( ) const

inline

Test whether diagram represents the empty set.

template<class DiagramType>

mgrcore_ptr polybori::CCuddDDBase< DiagramType >::manager ( ) const

inline

Get (shared) pointer to decision diagram manager.

template<class DiagramType>

template<class ResultType >

ResultType polybori::CCuddDDBase< DiagramType >::memApply ( ResultType(*)(DdManager *, node_type) func ) const

inlineprotected

template<class DiagramType>

template<class ResultType >

ResultType polybori::CCuddDDBase< DiagramType >::memChecked ( ResultType result ) const

inlineprotected

template<class DiagramType>

size_type polybori::CCuddDDBase< DiagramType >::nodeCount ( ) const

inline

Number of nodes in the current decision diagram.

template<class DiagramType>

size_type polybori::CCuddDDBase< DiagramType >::NodeReadIndex ( ) const

inline

Get index of curent node.

template<class DiagramType>

size_type polybori::CCuddDDBase< DiagramType >::refCount ( ) const

inline

Number of references pointing here.

Member Data Documentation

template<class DiagramType>

mgrcore_ptr polybori::CCuddDDBase< DiagramType >::ddMgr

protected

(Smart) pointer to decsion diagram management

Referenced by polybori::CCuddZDD::operator=().

template<class DiagramType>

node_type polybori::CCuddDDBase< DiagramType >::node

protected

Raw pointer to decision diagram node.

Referenced by polybori::CCuddZDD::operator=().

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

CCuddZDD.h

Public Types

Public Member Functions

Protected Member Functions

Protected Attributes

Detailed Description

template<class DiagramType> class polybori::CCuddDDBase< DiagramType >

Member Typedef Documentation

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation

template<class DiagramType>
class polybori::CCuddDDBase< DiagramType >