append(const handle_else &rhs) | polybori::handle_else< NavigatorType > | [inline] |
base typedef | polybori::handle_else< NavigatorType > | |
navigator_type typedef | polybori::handle_else< NavigatorType > | |
operator()(const navigator_type &navi) | polybori::handle_else< NavigatorType > | [inline] |
pop() | polybori::handle_else< NavigatorType > | [inline] |
push(const navigator_type &navi) | polybori::handle_else< NavigatorType > | [inline] |
top() const | polybori::handle_else< NavigatorType > | [inline] |