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