polybori::cached_block_deg< NavigatorType > Class Template 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_type >	block_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
self &	operator++ ()
self &	operator-- ()

template<class NavigatorType>
class polybori::cached_block_deg< NavigatorType >

---

Member Typedef Documentation

template<class NavigatorType>

typedef NavigatorType::idx_type polybori::cached_block_deg< NavigatorType >::idx_type

template<class NavigatorType>

typedef cached_block_deg<NavigatorType> polybori::cached_block_deg< NavigatorType >::self

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 cache_type::manager_type polybori::cached_block_deg< NavigatorType >::manager_type

---

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>

NavigatorType::size_type polybori::cached_block_deg< NavigatorType >::operator()

(

NavigatorType

navi

)

const [inline]

References polybori::dd_cached_block_degree().

template<class NavigatorType>

idx_type polybori::cached_block_deg< NavigatorType >::min

(

)

const [inline]

References PBORI_ASSERT.

template<class NavigatorType>

idx_type polybori::cached_block_deg< NavigatorType >::max

(

)

const [inline]

template<class NavigatorType>

self& polybori::cached_block_deg< NavigatorType >::operator++

(

)

[inline]

References PBORI_ASSERT.

template<class NavigatorType>

self& polybori::cached_block_deg< NavigatorType >::operator--

(

)

[inline]

References PBORI_ASSERT.

---

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

• CTermStack.h