PolyBoRi
|
#include <CBidirectTermIter.h>
Public Types | |
typedef NavigatorType | navigator_type |
typedef std::deque< NavigatorType > | base |
Public Member Functions | |
void | operator() (const navigator_type &navi) |
void | push (const navigator_type &navi) |
void | pop () |
const navigator_type & | top () const |
void | append (const handle_else &rhs) |
typedef std::deque<NavigatorType> polybori::handle_else::base |
typedef NavigatorType polybori::handle_else::navigator_type |
void polybori::handle_else::append | ( | const handle_else & | rhs | ) | [inline] |
void polybori::handle_else::operator() | ( | const navigator_type & | navi | ) | [inline] |
void polybori::handle_else::pop | ( | ) | [inline] |
void polybori::handle_else::push | ( | const navigator_type & | navi | ) | [inline] |
const navigator_type& polybori::handle_else::top | ( | ) | const [inline] |