PolyBoRi
Public Types | Public Member Functions | Public Attributes | Protected Member Functions | List of all members
polybori::bounded_restricted_term< NaviType, DescendingProperty > Class Template Reference

#include <pbori_routines_order.h>

Public Types

typedef NaviType navigator
 
typedef DescendingProperty descending_property
 
typedef
bounded_restricted_term
< navigator,
descending_property
self
 
typedef std::vector< navigatorstack_type
 
typedef unsigned size_type
 
typedef unsigned idx_type
 

Public Member Functions

 bounded_restricted_term ()
 
 bounded_restricted_term (navigator navi, size_type upperbound, idx_type max_idx)
 
size_type operator* () const
 
const navigatornext () const
 
stack_type::const_iterator begin () const
 
stack_type::const_iterator end () const
 
selfoperator++ ()
 
void print () const
 
bool operator== (const self &rhs) const
 
bool operator!= (const self &rhs) const
 

Public Attributes

is_same_type
< descending_property,
valid_tag
descendingVariables
 

Protected Member Functions

void followThen ()
 
void increment ()
 
bool empty () const
 
navigator top () const
 
bool is_path_end ()
 
void path_end ()
 
void nextThen ()
 
bool within_degree () const
 
bool at_end () const
 

Member Typedef Documentation

template<class NaviType , class DescendingProperty = valid_tag>
typedef DescendingProperty polybori::bounded_restricted_term< NaviType, DescendingProperty >::descending_property
template<class NaviType , class DescendingProperty = valid_tag>
typedef unsigned polybori::bounded_restricted_term< NaviType, DescendingProperty >::idx_type
template<class NaviType , class DescendingProperty = valid_tag>
typedef NaviType polybori::bounded_restricted_term< NaviType, DescendingProperty >::navigator
template<class NaviType , class DescendingProperty = valid_tag>
typedef bounded_restricted_term<navigator, descending_property> polybori::bounded_restricted_term< NaviType, DescendingProperty >::self
template<class NaviType , class DescendingProperty = valid_tag>
typedef unsigned polybori::bounded_restricted_term< NaviType, DescendingProperty >::size_type
template<class NaviType , class DescendingProperty = valid_tag>
typedef std::vector<navigator> polybori::bounded_restricted_term< NaviType, DescendingProperty >::stack_type

Constructor & Destructor Documentation

template<class NaviType , class DescendingProperty = valid_tag>
polybori::bounded_restricted_term< NaviType, DescendingProperty >::bounded_restricted_term ( )
inline
template<class NaviType , class DescendingProperty = valid_tag>
polybori::bounded_restricted_term< NaviType, DescendingProperty >::bounded_restricted_term ( navigator  navi,
size_type  upperbound,
idx_type  max_idx 
)
inline

Member Function Documentation

template<class NaviType , class DescendingProperty = valid_tag>
bool polybori::bounded_restricted_term< NaviType, DescendingProperty >::at_end ( ) const
inlineprotected
template<class NaviType , class DescendingProperty = valid_tag>
stack_type::const_iterator polybori::bounded_restricted_term< NaviType, DescendingProperty >::begin ( ) const
inline
template<class NaviType , class DescendingProperty = valid_tag>
bool polybori::bounded_restricted_term< NaviType, DescendingProperty >::empty ( ) const
inlineprotected
template<class NaviType , class DescendingProperty = valid_tag>
stack_type::const_iterator polybori::bounded_restricted_term< NaviType, DescendingProperty >::end ( ) const
inline
template<class NaviType , class DescendingProperty = valid_tag>
void polybori::bounded_restricted_term< NaviType, DescendingProperty >::followThen ( )
inlineprotected
template<class NaviType , class DescendingProperty = valid_tag>
void polybori::bounded_restricted_term< NaviType, DescendingProperty >::increment ( )
inlineprotected

References PBORI_ASSERT.

template<class NaviType , class DescendingProperty = valid_tag>
bool polybori::bounded_restricted_term< NaviType, DescendingProperty >::is_path_end ( )
inlineprotected
template<class NaviType , class DescendingProperty = valid_tag>
const navigator& polybori::bounded_restricted_term< NaviType, DescendingProperty >::next ( ) const
inline
template<class NaviType , class DescendingProperty = valid_tag>
void polybori::bounded_restricted_term< NaviType, DescendingProperty >::nextThen ( )
inlineprotected

References PBORI_ASSERT.

template<class NaviType , class DescendingProperty = valid_tag>
bool polybori::bounded_restricted_term< NaviType, DescendingProperty >::operator!= ( const self rhs) const
inline
template<class NaviType , class DescendingProperty = valid_tag>
size_type polybori::bounded_restricted_term< NaviType, DescendingProperty >::operator* ( ) const
inline
template<class NaviType , class DescendingProperty = valid_tag>
self& polybori::bounded_restricted_term< NaviType, DescendingProperty >::operator++ ( )
inline

References PBORI_ASSERT.

template<class NaviType , class DescendingProperty = valid_tag>
bool polybori::bounded_restricted_term< NaviType, DescendingProperty >::operator== ( const self rhs) const
inline
template<class NaviType , class DescendingProperty = valid_tag>
void polybori::bounded_restricted_term< NaviType, DescendingProperty >::path_end ( )
inlineprotected
template<class NaviType , class DescendingProperty = valid_tag>
void polybori::bounded_restricted_term< NaviType, DescendingProperty >::print ( ) const
inline
template<class NaviType , class DescendingProperty = valid_tag>
navigator polybori::bounded_restricted_term< NaviType, DescendingProperty >::top ( ) const
inlineprotected
template<class NaviType , class DescendingProperty = valid_tag>
bool polybori::bounded_restricted_term< NaviType, DescendingProperty >::within_degree ( ) const
inlineprotected

Member Data Documentation

template<class NaviType , class DescendingProperty = valid_tag>
is_same_type<descending_property, valid_tag> polybori::bounded_restricted_term< NaviType, DescendingProperty >::descendingVariables

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