polybori::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 polybori::dd_operations< CTypes::dd_type::navigator >


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]

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

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

void polybori::dd_operations< CTypes::dd_type::navigator >::kill ( navigator node  )  const [inline]

size_type polybori::dd_operations< CTypes::dd_type::navigator >::length ( const navigator node  )  const [inline]

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]

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

size_type polybori::dd_operations< CTypes::dd_type::navigator >::nSupport ( const navigator node  )  const [inline]

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]

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

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

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


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:

Generated on Wed Sep 9 14:25:43 2009 for PolyBoRi by  doxygen 1.5.9