polybori::dd_operations< CTypes::dd_type::navigator > Class Template Reference

#include <pbori_algo_int.h>

Public Types
typedef DdManager *	manager_type
typedef CTypes::dd_type	dd_type
typedef dd_type::navigator	navigator
typedef dd_type::idx_type	idx_type
typedef dd_type::size_type	size_type

Public Member Functions
	dd_operations (manager_type man)
void	replacingUnite (navigator &newNode, const navigator &first, const navigator &second) const
void	uniteAssign (navigator &first, const navigator &second) const
void	diffAssign (navigator &first, const navigator &second) const
navigator	diff (const navigator &first, const navigator &second) const
void	replacingNode (navigator &newNode, idx_type idx, navigator &first, navigator &second) const
void	newNodeAssign (idx_type idx, navigator &thenNode, const navigator &elseNode) const
void	multiplesAssign (navigator &node, idx_type idx) const
void	productAssign (navigator &node, idx_type idx) const
void	assign (navigator &first, const navigator &second) const
void	replace (navigator &first, const navigator &second) const
size_type	nSupport (const navigator &node) const
size_type	length (const navigator &node) const
navigator &	newNode (navigator &node) const
void	kill (navigator &node) const

Protected Attributes
manager_type	mgr

Member Typedef Documentation

typedef CTypes::dd_type polybori::dd_operations< CTypes::dd_type::navigator >::dd_type

typedef dd_type::idx_type polybori::dd_operations< CTypes::dd_type::navigator >::idx_type

typedef DdManager* polybori::dd_operations< CTypes::dd_type::navigator >::manager_type

typedef dd_type::navigator polybori::dd_operations< CTypes::dd_type::navigator >::navigator

typedef dd_type::size_type polybori::dd_operations< CTypes::dd_type::navigator >::size_type

Constructor & Destructor Documentation

polybori::dd_operations< CTypes::dd_type::navigator >::dd_operations ( manager_type  man )

inline

Member Function Documentation

void polybori::dd_operations< CTypes::dd_type::navigator >::assign ( navigator &  first, const navigator &  second  ) const

inline

References polybori::CCuddNavigator::incRef().

navigator polybori::dd_operations< CTypes::dd_type::navigator >::diff ( const navigator &  first, const navigator &  second  ) const

inline

References polybori::apply_cudd_function().

void polybori::dd_operations< CTypes::dd_type::navigator >::diffAssign ( navigator &  first, const navigator &  second  ) const

inline

References polybori::apply_assign_cudd_function().

void polybori::dd_operations< CTypes::dd_type::navigator >::kill ( navigator &  node ) const

inline

References polybori::recursive_dec_ref().

size_type polybori::dd_operations< CTypes::dd_type::navigator >::length ( const navigator &  node ) const

inline

References polybori::CCuddNavigator::getNode().

void polybori::dd_operations< CTypes::dd_type::navigator >::multiplesAssign ( navigator &  node, idx_type  idx  ) const

inline

navigator& polybori::dd_operations< CTypes::dd_type::navigator >::newNode ( navigator &  node ) const

inline

References polybori::CCuddNavigator::incRef().

void polybori::dd_operations< CTypes::dd_type::navigator >::newNodeAssign ( idx_type  idx, navigator &  thenNode, const navigator &  elseNode  ) const

inline

References polybori::CCuddNavigator::getNode(), polybori::CCuddNavigator::incRef(), and polybori::recursive_dec_ref().

size_type polybori::dd_operations< CTypes::dd_type::navigator >::nSupport ( const navigator &  node ) const

inline

References polybori::CCuddNavigator::getNode().

void polybori::dd_operations< CTypes::dd_type::navigator >::productAssign ( navigator &  node, idx_type  idx  ) const

inline

void polybori::dd_operations< CTypes::dd_type::navigator >::replace ( navigator &  first, const navigator &  second  ) const

inline

References polybori::recursive_dec_ref().

void polybori::dd_operations< CTypes::dd_type::navigator >::replacingNode ( navigator &  newNode, idx_type  idx, navigator &  first, navigator &  second  ) const

inline

References polybori::CCuddNavigator::getNode(), polybori::CCuddNavigator::incRef(), and polybori::recursive_dec_ref().

void polybori::dd_operations< CTypes::dd_type::navigator >::replacingUnite ( navigator &  newNode, const navigator &  first, const navigator &  second  ) const

inline

References polybori::apply_replacing_cudd_function().

void polybori::dd_operations< CTypes::dd_type::navigator >::uniteAssign ( navigator &  first, const navigator &  second  ) const

inline

References polybori::apply_assign_cudd_function().

Member Data Documentation

manager_type polybori::dd_operations< CTypes::dd_type::navigator >::mgr

protected

---

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

• pbori_algo_int.h