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

#include <pbori_algo_int.h>

List of all members.

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

template<>
class dd_operations< CTypes::dd_type::navigator >

---

Member Typedef Documentation

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

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

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

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

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

---

Constructor & Destructor Documentation

dd_operations< CTypes::dd_type::navigator >::dd_operations

(

manager_type

man

)

[inline]

---

Member Function Documentation

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

References CCuddNavigator::incRef().

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

References apply_cudd_function().

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

References apply_assign_cudd_function().

void dd_operations< CTypes::dd_type::navigator >::kill

(

navigator &

node

)

const [inline]

References recursive_dec_ref().

size_type dd_operations< CTypes::dd_type::navigator >::length

(

const navigator &

node

)

const [inline]

References CCuddNavigator::getNode().

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

navigator& dd_operations< CTypes::dd_type::navigator >::newNode

(

navigator &

node

)

const [inline]

References CCuddNavigator::incRef().

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

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

size_type dd_operations< CTypes::dd_type::navigator >::nSupport

(

const navigator &

node

)

const [inline]

References CCuddNavigator::getNode().

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

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

References recursive_dec_ref().

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

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

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

References apply_replacing_cudd_function().

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

References apply_assign_cudd_function().

---

Member Data Documentation

manager_type dd_operations< CTypes::dd_type::navigator >::mgr [protected]

---

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

• pbori_algo_int.h