
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 |