PolyBoRi
Public Types | Public Member Functions | Public Attributes | Protected Member Functions
polybori::bounded_restricted_term Class Reference

#include <pbori_routines_order.h>

List of all members.

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


Constructor & Destructor Documentation

polybori::bounded_restricted_term::bounded_restricted_term ( ) [inline]
polybori::bounded_restricted_term::bounded_restricted_term ( navigator  navi,
size_type  upperbound,
idx_type  max_idx 
) [inline]

Member Function Documentation

bool polybori::bounded_restricted_term::at_end ( ) const [inline, protected]
stack_type::const_iterator polybori::bounded_restricted_term::begin ( ) const [inline]
bool polybori::bounded_restricted_term::empty ( ) const [inline, protected]
stack_type::const_iterator polybori::bounded_restricted_term::end ( ) const [inline]
void polybori::bounded_restricted_term::followThen ( ) [inline, protected]
void polybori::bounded_restricted_term::increment ( ) [inline, protected]
bool polybori::bounded_restricted_term::is_path_end ( ) [inline, protected]
const navigator& polybori::bounded_restricted_term::next ( ) const [inline]
void polybori::bounded_restricted_term::nextThen ( ) [inline, protected]
bool polybori::bounded_restricted_term::operator!= ( const self rhs) const [inline]
size_type polybori::bounded_restricted_term::operator* ( ) const [inline]
self& polybori::bounded_restricted_term::operator++ ( ) [inline]
bool polybori::bounded_restricted_term::operator== ( const self rhs) const [inline]
void polybori::bounded_restricted_term::path_end ( ) [inline, protected]
void polybori::bounded_restricted_term::print ( ) const [inline]
navigator polybori::bounded_restricted_term::top ( ) const [inline, protected]
bool polybori::bounded_restricted_term::within_degree ( ) const [inline, protected]

Member Data Documentation


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