#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< navigator > | stack_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 navigator & | next () const |
stack_type::const_iterator | begin () const |
stack_type::const_iterator | end () const |
self & | operator++ () |
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 |
typedef DescendingProperty bounded_restricted_term< NaviType, DescendingProperty >::descending_property |
typedef unsigned bounded_restricted_term< NaviType, DescendingProperty >::idx_type |
typedef NaviType bounded_restricted_term< NaviType, DescendingProperty >::navigator |
typedef bounded_restricted_term<navigator, descending_property> bounded_restricted_term< NaviType, DescendingProperty >::self |
typedef unsigned bounded_restricted_term< NaviType, DescendingProperty >::size_type |
typedef std::vector<navigator> bounded_restricted_term< NaviType, DescendingProperty >::stack_type |
bounded_restricted_term< NaviType, DescendingProperty >::bounded_restricted_term | ( | ) | [inline] |
bounded_restricted_term< NaviType, DescendingProperty >::bounded_restricted_term | ( | navigator | navi, | |
size_type | upperbound, | |||
idx_type | max_idx | |||
) | [inline] |
bool bounded_restricted_term< NaviType, DescendingProperty >::at_end | ( | ) | const [inline, protected] |
stack_type::const_iterator bounded_restricted_term< NaviType, DescendingProperty >::begin | ( | ) | const [inline] |
bool bounded_restricted_term< NaviType, DescendingProperty >::empty | ( | ) | const [inline, protected] |
Referenced by bounded_restricted_term< NaviType, DescendingProperty >::bounded_restricted_term(), bounded_restricted_term< NaviType, DescendingProperty >::increment(), bounded_restricted_term< NaviType, DescendingProperty >::operator++(), and bounded_restricted_term< NaviType, DescendingProperty >::operator==().
stack_type::const_iterator bounded_restricted_term< NaviType, DescendingProperty >::end | ( | ) | const [inline] |
void bounded_restricted_term< NaviType, DescendingProperty >::followThen | ( | ) | [inline, protected] |
References bounded_restricted_term< NaviType, DescendingProperty >::at_end(), bounded_restricted_term< NaviType, DescendingProperty >::nextThen(), and bounded_restricted_term< NaviType, DescendingProperty >::within_degree().
Referenced by bounded_restricted_term< NaviType, DescendingProperty >::bounded_restricted_term(), and bounded_restricted_term< NaviType, DescendingProperty >::increment().
void bounded_restricted_term< NaviType, DescendingProperty >::increment | ( | ) | [inline, protected] |
References bounded_restricted_term< NaviType, DescendingProperty >::empty(), bounded_restricted_term< NaviType, DescendingProperty >::followThen(), and bounded_restricted_term< NaviType, DescendingProperty >::top().
Referenced by bounded_restricted_term< NaviType, DescendingProperty >::bounded_restricted_term(), and bounded_restricted_term< NaviType, DescendingProperty >::operator++().
bool bounded_restricted_term< NaviType, DescendingProperty >::is_path_end | ( | ) | [inline, protected] |
const navigator& bounded_restricted_term< NaviType, DescendingProperty >::next | ( | ) | const [inline] |
void bounded_restricted_term< NaviType, DescendingProperty >::nextThen | ( | ) | [inline, protected] |
bool bounded_restricted_term< NaviType, DescendingProperty >::operator!= | ( | const self & | rhs | ) | const [inline] |
size_type bounded_restricted_term< NaviType, DescendingProperty >::operator* | ( | ) | const [inline] |
self& bounded_restricted_term< NaviType, DescendingProperty >::operator++ | ( | ) | [inline] |
References bounded_restricted_term< NaviType, DescendingProperty >::descendingVariables, bounded_restricted_term< NaviType, DescendingProperty >::empty(), bounded_restricted_term< NaviType, DescendingProperty >::increment(), and bounded_restricted_term< NaviType, DescendingProperty >::is_path_end().
bool bounded_restricted_term< NaviType, DescendingProperty >::operator== | ( | const self & | rhs | ) | const [inline] |
void bounded_restricted_term< NaviType, DescendingProperty >::path_end | ( | ) | [inline, protected] |
void bounded_restricted_term< NaviType, DescendingProperty >::print | ( | ) | const [inline] |
navigator bounded_restricted_term< NaviType, DescendingProperty >::top | ( | ) | const [inline, protected] |
bool bounded_restricted_term< NaviType, DescendingProperty >::within_degree | ( | ) | const [inline, protected] |
is_same_type<descending_property, valid_tag> bounded_restricted_term< NaviType, DescendingProperty >::descendingVariables |