Classes | |
struct | eof |
Public Types | |
typedef std::map< stream, rj_t, std::less< stream > , pool_allocator< std::pair < stream, rj_t > > > | map_t |
Public Member Functions | |
descriptor | pop () |
void | collect_nodes () const |
void | add (const label &L, const frame &data, const node &u, const stream &j) |
Public Attributes | |
map_t | m |