navigates< DDType > Class Template Reference

#include <pbori_func.h>

List of all members.

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.

template<class DDType>
class navigates< DDType >

---

Member Typedef Documentation

template<class DDType >

typedef std::unary_function<dd_type, navigator> navigates< DDType >::base

Generic access to base type.

template<class DDType >

typedef DDType navigates< DDType >::dd_type

Type of decision diagram.

template<class DDType >

typedef DDType::navigator navigates< DDType >::navigator

Type for navigation through diagram.

---

Member Function Documentation

template<class DDType >

base::result_type navigates< DDType >::operator()

(

const dd_type &

rhs

)

const [inline]

The actual operation.

---

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

• pbori_func.h