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] |
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] |
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] |
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
The documentation for this class was generated from the following file: