PolyBoRi
Public Types | Public Member Functions | List of all members
polybori::cached_block_deg< NavigatorType > Class Template Reference

#include <CTermStack.h>

Public Types

typedef NavigatorType::idx_type idx_type
 
typedef cached_block_deg< NavigatorType > self
 
typedef std::vector< idx_typeblock_idx_type
 Type for block indices. More...
 
typedef block_idx_type::const_iterator block_iterator
 Type for block iterators. More...
 
typedef CBlockDegreeCache< BooleEnv::dd_typecache_type
 
typedef cache_type::manager_type manager_type
 

Public Member Functions

 cached_block_deg (const manager_type &mgr)
 
NavigatorType::size_type operator() (NavigatorType navi) const
 
idx_type min () const
 
idx_type max () const
 
selfoperator++ ()
 
selfoperator-- ()
 

Member Typedef Documentation

template<class NavigatorType>
typedef std::vector<idx_type> polybori::cached_block_deg< NavigatorType >::block_idx_type

Type for block indices.

template<class NavigatorType>
typedef block_idx_type::const_iterator polybori::cached_block_deg< NavigatorType >::block_iterator

Type for block iterators.

template<class NavigatorType>
typedef CBlockDegreeCache<BooleEnv::dd_type> polybori::cached_block_deg< NavigatorType >::cache_type
template<class NavigatorType>
typedef NavigatorType::idx_type polybori::cached_block_deg< NavigatorType >::idx_type
template<class NavigatorType>
typedef cache_type::manager_type polybori::cached_block_deg< NavigatorType >::manager_type
template<class NavigatorType>
typedef cached_block_deg<NavigatorType> polybori::cached_block_deg< NavigatorType >::self

Constructor & Destructor Documentation

template<class NavigatorType>
polybori::cached_block_deg< NavigatorType >::cached_block_deg ( const manager_type mgr)
inline

Member Function Documentation

template<class NavigatorType>
idx_type polybori::cached_block_deg< NavigatorType >::max ( ) const
inline
template<class NavigatorType>
idx_type polybori::cached_block_deg< NavigatorType >::min ( ) const
inline
template<class NavigatorType>
NavigatorType::size_type polybori::cached_block_deg< NavigatorType >::operator() ( NavigatorType  navi) const
inline
template<class NavigatorType>
self& polybori::cached_block_deg< NavigatorType >::operator++ ( )
inline
template<class NavigatorType>
self& polybori::cached_block_deg< NavigatorType >::operator-- ( )
inline

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