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
navigatornewNode (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 DdManager* dd_operations< CTypes::dd_type::navigator >::manager_type
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]
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]
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]
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]
void dd_operations< CTypes::dd_type::navigator >::newNodeAssign ( idx_type  idx,
navigator thenNode,
const navigator elseNode 
) const [inline]
size_type dd_operations< CTypes::dd_type::navigator >::nSupport ( const navigator node  )  const [inline]
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]
void dd_operations< CTypes::dd_type::navigator >::replacingUnite ( navigator newNode,
const navigator first,
const navigator second 
) const [inline]
void dd_operations< CTypes::dd_type::navigator >::uniteAssign ( navigator first,
const navigator second 
) const [inline]

Member Data Documentation

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

The documentation for this class was generated from the following file:
Generated on Tue May 4 08:39:40 2010 for PolyBoRi by  doxygen 1.6.3