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 |