PolyBoRi
Public Types | Public Member Functions | Protected Attributes
polybori::dd_operations< CCuddNavigator > Class Reference

#include <pbori_algo_int.h>

Inheritance diagram for polybori::dd_operations< CCuddNavigator >:
polybori::CAuxTypes

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
navigatornewNode (navigator &node) const
void kill (navigator &node) const

Protected Attributes

manager_type mgr

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 >::assign ( navigator first,
const navigator second 
) const [inline]
navigator polybori::dd_operations< CCuddNavigator >::diff ( const navigator first,
const navigator second 
) const [inline]
void polybori::dd_operations< CCuddNavigator >::diffAssign ( navigator first,
const navigator second 
) const [inline]
void polybori::dd_operations< CCuddNavigator >::kill ( navigator node) const [inline]
size_type polybori::dd_operations< CCuddNavigator >::length ( const navigator node) const [inline]
void polybori::dd_operations< CCuddNavigator >::multiplesAssign ( navigator node,
idx_type  idx 
) const [inline]
navigator& polybori::dd_operations< CCuddNavigator >::newNode ( navigator node) const [inline]
void polybori::dd_operations< CCuddNavigator >::newNodeAssign ( idx_type  idx,
navigator thenNode,
const navigator elseNode 
) const [inline]
size_type polybori::dd_operations< CCuddNavigator >::nSupport ( const navigator node) const [inline]
void polybori::dd_operations< CCuddNavigator >::productAssign ( navigator node,
idx_type  idx 
) const [inline]
void polybori::dd_operations< CCuddNavigator >::replace ( navigator first,
const navigator second 
) const [inline]
void polybori::dd_operations< CCuddNavigator >::replacingNode ( navigator newNode,
idx_type  idx,
navigator first,
navigator second 
) const [inline]
void polybori::dd_operations< CCuddNavigator >::replacingUnite ( navigator newNode,
const navigator first,
const navigator second 
) const [inline]
void polybori::dd_operations< CCuddNavigator >::uniteAssign ( navigator first,
const navigator second 
) const [inline]

Member Data Documentation

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

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