Public Member Functions | |
| node (const node &other) | |
| node (node &&other) | |
| const node_core::node_set_t & | parents () const |
| node_core::node_set_t & | parents () |
| const node_core::p_t & | P () const |
| node_core::p_t & | P () |
| unsigned | hash () const |
| const label & | get_label () const |
| int | pos () const |
| node & | operator= (const node &other) |
| node & | operator= (node &&other) |
| void | mark (std::unordered_set< node, std::hash< node >, std::equal_to< node >, pool_allocator< node > > &marks) const |
| template<typename Ret > | |
| void | pop (r_t &queue, const Ret &ret_value, stream &j) |
| void | pop (r_t &queue, const void_return &, stream &j) |
| template<typename Ret > | |
| void | pop (r_t &queue, const Ret &ret_value, stream &j) const |
Static Public Member Functions | |
| static node | create (r_t &R, const label &l, const frame &f, const node &u, const stream &j) |
| static node | boundary (const label &, const stream &s) |
| static void | drop (const stream &s) |
| static int | nbnode () |
| static void | printnodes (std::ostream &o) |
| static void | clear (std::unordered_set< node, std::hash< node >, std::equal_to< node >, pool_allocator< node > > marks=std::unordered_set< node, std::hash< node >, std::equal_to< node >, pool_allocator< node > >()) |