PolyBoRi
|
#include <pbori_func.h>
Public Types | |
typedef DDType | dd_type |
Type of decision diagram. More... | |
typedef DDType::navigator | navigator |
Type for navigation through diagram. More... | |
typedef std::unary_function< dd_type, navigator > | base |
Generic access to base type. More... | |
Public Member Functions | |
base::result_type | operator() (const dd_type &rhs) const |
The actual operation. More... | |
typedef std::unary_function<dd_type, navigator> polybori::navigates< DDType >::base |
Generic access to base type.
typedef DDType polybori::navigates< DDType >::dd_type |
Type of decision diagram.
typedef DDType::navigator polybori::navigates< DDType >::navigator |
Type for navigation through diagram.
|
inline |
The actual operation.