PolyBoRi
Public Types | Public Member Functions | Public Attributes
polybori::cached_deg Struct Reference

#include <CTermStack.h>

List of all members.

Public Types

typedef CDegreeCache< BooleSetcache_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

Member Typedef Documentation


Constructor & Destructor Documentation

polybori::cached_deg::cached_deg ( const manager_type mgr) [inline]

Member Function Documentation

NavigatorType::size_type polybori::cached_deg::operator() ( NavigatorType  navi) const [inline]

Member Data Documentation


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