PolyBoRi
Public Types | Public Member Functions
polybori::cached_block_deg Class Reference

#include <CTermStack.h>

List of all members.

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.
typedef
block_idx_type::const_iterator 
block_iterator
 Type for block iterators.
typedef CBlockDegreeCache
< BooleEnv::dd_type
cache_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

Type for block indices.

typedef block_idx_type::const_iterator polybori::cached_block_deg::block_iterator

Type for block iterators.

typedef NavigatorType::idx_type polybori::cached_block_deg::idx_type

Constructor & Destructor Documentation

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

Member Function Documentation

idx_type polybori::cached_block_deg::max ( ) const [inline]
idx_type polybori::cached_block_deg::min ( ) const [inline]
NavigatorType::size_type polybori::cached_block_deg::operator() ( NavigatorType  navi) const [inline]
self& polybori::cached_block_deg::operator++ ( ) [inline]
self& polybori::cached_block_deg::operator-- ( ) [inline]

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