#include <CDegreeCache.h>
Public Types |
typedef NaviType | navigator |
| Set actual storage type.
|
typedef navigator::bool_type | bool_type |
| Define type base.
|
typedef navigator::value_type | idx_type |
| Type for representing indices.
|
typedef navigator::size_type | size_type |
| Type for representing size.
|
typedef BoolePolyRing | manager_type |
| Type of decision diagram manager.
|
Member Typedef Documentation
template<class NaviType >
Define type base.
Plain Boolean type
template<class NaviType >
Type for representing indices.
template<class NaviType >
Type of decision diagram manager.
template<class NaviType >
template<class NaviType >
Type for representing size.
Constructor & Destructor Documentation
template<class NaviType >
template<class NaviType >
Construct from given navigator.
Member Function Documentation
template<class NaviType >
template<class NaviType >
Member Data Documentation
template<class NaviType >
Actual navigator, which is stored.
The documentation for this class was generated from the following file: