Public Types | |
| typedef bits::node_map::id_t | id_t |
| typedef bits::node_map::val_t | val_t |
Public Member Functions | |
| node_token (val_t owner) | |
| node_token (const node_token &other, val_t newOwner, bool freshToken=false) | |
| void | assign (const node_token &other, val_t newOwner, bool freshToken=false) |
| id_t | id () const |
| bits::node_map::ptr | map_union (const node_token &with) |
| bits::node_map::ptr | get_map () const |
| val_t | get () const |