#include <pbori_func.h>
Public Types |
typedef DDType | dd_type |
| Type of decision diagram.
|
typedef DDType::navigator | navigator |
| Type for navigation through diagram.
|
typedef std::unary_function
< dd_type, navigator > | base |
| Generic access to base type.
|
Public Member Functions |
base::result_type | operator() (const dd_type &rhs) const |
| The actual operation.
|
Member Typedef Documentation
Generic access to base type.
Type of decision diagram.
Type for navigation through diagram.
Member Function Documentation
The documentation for this class was generated from the following file: