#include <CDegreeCache.h>
|
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.
|
|
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.
template<class NaviType >
template<class NaviType >
Construct from given navigator.
template<class NaviType >
template<class NaviType >
template<class NaviType >
Actual navigator, which is stored.
The documentation for this class was generated from the following file: