polybori::dd_operations< CCuddNavigator > Class Template Reference

#include <pbori_algo_int.h>

Inheritance diagram for polybori::dd_operations< CCuddNavigator >:

List of all members.

Public Types
typedef DdManager *	manager_type
typedef CCuddNavigator	navigator
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

template<>
class polybori::dd_operations< CCuddNavigator >

---

Member Typedef Documentation

typedef DdManager* polybori::dd_operations< CCuddNavigator >::manager_type

typedef CCuddNavigator polybori::dd_operations< CCuddNavigator >::navigator

---

Constructor & Destructor Documentation

polybori::dd_operations< CCuddNavigator >::dd_operations

(

manager_type

man

)

[inline]

---

Member Function Documentation

void polybori::dd_operations< CCuddNavigator >::replacingUnite	(	navigator &	newNode,
		const navigator &	first,
		const navigator &	second
	)			const [inline]

References polybori::apply_replacing_cudd_function(), Cudd_zddUnion, and PBORI_PREFIX.

void polybori::dd_operations< CCuddNavigator >::uniteAssign	(	navigator &	first,
		const navigator &	second
	)			const [inline]

References polybori::apply_assign_cudd_function(), Cudd_zddUnion, and PBORI_PREFIX.

void polybori::dd_operations< CCuddNavigator >::diffAssign	(	navigator &	first,
		const navigator &	second
	)			const [inline]

References polybori::apply_assign_cudd_function(), Cudd_zddDiff, and PBORI_PREFIX.

navigator polybori::dd_operations< CCuddNavigator >::diff	(	const navigator &	first,
		const navigator &	second
	)			const [inline]

References polybori::apply_cudd_function(), Cudd_zddDiff, and PBORI_PREFIX.

void polybori::dd_operations< CCuddNavigator >::replacingNode	(	navigator &	newNode,
		idx_type	idx,
		navigator &	first,
		navigator &	second
	)			const [inline]

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

void polybori::dd_operations< CCuddNavigator >::newNodeAssign	(	idx_type	idx,
		navigator &	thenNode,
		const navigator &	elseNode
	)			const [inline]

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

void polybori::dd_operations< CCuddNavigator >::multiplesAssign	(	navigator &	node,
		idx_type	idx
	)			const [inline]

void polybori::dd_operations< CCuddNavigator >::productAssign	(	navigator &	node,
		idx_type	idx
	)			const [inline]

References Cudd_ReadZero, and PBORI_PREFIX.

void polybori::dd_operations< CCuddNavigator >::assign	(	navigator &	first,
		const navigator &	second
	)			const [inline]

References polybori::CCuddNavigator::incRef().

void polybori::dd_operations< CCuddNavigator >::replace	(	navigator &	first,
		const navigator &	second
	)			const [inline]

References polybori::recursive_dec_ref().

size_type polybori::dd_operations< CCuddNavigator >::nSupport

(

const navigator &

node

)

const [inline]

References polybori::CCuddNavigator::getNode(), and PBORI_PREFIX.

size_type polybori::dd_operations< CCuddNavigator >::length

(

const navigator &

node

)

const [inline]

References polybori::CCuddNavigator::getNode(), and PBORI_PREFIX.

navigator& polybori::dd_operations< CCuddNavigator >::newNode

(

navigator &

node

)

const [inline]

References polybori::CCuddNavigator::incRef().

void polybori::dd_operations< CCuddNavigator >::kill

(

navigator &

node

)

const [inline]

References polybori::recursive_dec_ref().

---

Member Data Documentation

manager_type polybori::dd_operations< CCuddNavigator >::mgr [protected]

---

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

• pbori_algo_int.h