#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. |
Generic access to base type.
Type for navigation through diagram.
base::result_type navigates< DDType >::operator() | ( | const dd_type & | rhs | ) | const [inline] |
The actual operation.