Public Types | |
|
typedef std::forward_list < frame, pool_allocator< frame > > | frame_list_t |
|
typedef std::unordered_set < node, std::hash< node > , std::equal_to< node > , pool_allocator< node > > | node_set_t |
|
typedef std::map< stream, frame_list_t, std::less < stream >, pool_allocator < std::pair< stream, frame_list_t > > > | p_t |
Public Member Functions | |
| void | update_hash () |
| node_core (const label &L, const frame &f, int pos) | |
| node_core (const node_core &other) | |
| node_core (node_core &&other) | |
| node_core & | operator= (const node_core &other) |
| node_core & | operator= (node_core &&other) |
| unsigned | hash () const |
| bool | operator== (const node_core &other) const |
| const node_set_t & | get_parents () const |
| node_set_t & | get_parents () |
| const p_t & | get_P () const |
| p_t & | get_P () |
| int | get_pos () const |
| const label & | get_label () const |
| const frame & | get_frame () const |
| void | drop (const stream &s) |