|
PolyBoRi
|
#include <CTermStack.h>
Public Types | |
| typedef CDegreeCache< BooleSet > | cache_type |
| typedef cache_type::manager_type | manager_type |
Public Member Functions | |
| cached_deg (const manager_type &mgr) | |
| NavigatorType::deg_type | operator() (NavigatorType navi) const |
Public Attributes | |
| cache_type | m_deg_cache |
| typedef CDegreeCache<BooleSet> polybori::cached_deg< NavigatorType >::cache_type |
| typedef cache_type::manager_type polybori::cached_deg< NavigatorType >::manager_type |
|
inline |
|
inline |
| cache_type polybori::cached_deg< NavigatorType >::m_deg_cache |
1.8.9.1