PolyBoRi
Public Types | Public Member Functions
polybori::navigates Class 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.

Member Typedef Documentation

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

Generic access to base type.

Type of decision diagram.

typedef DDType::navigator polybori::navigates::navigator

Type for navigation through diagram.


Member Function Documentation

base::result_type polybori::navigates::operator() ( const dd_type rhs) const [inline]

The actual operation.


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