#include <hna.hh>
Public Types | |
typedef val_hset_t | hnaset_t |
Public Member Functions | |
hnaset_t & | hnaset () |
HNASet () | |
void | insert (const HNAEntry &x) |
void | erase (const hset_t::iterator &pos) |
Private Types | |
typedef HNASet | This |
typedef sch::Updatable< HNAEntry > | elem_t |
typedef std::set< elem_t > | hset_t |
typedef sch::upd::SetEraser< This, hset_t::iterator > | eraser_t |
typedef sch::UpdateEvent< eraser_t > | updater_t |
typedef utl::Subset< hset_t, utl::NoAction< This, hset_t::iterator >, utl::DefaultPredicate< This, hset_t::iterator >, This > | val_hset_t |
Private Attributes | |
hset_t | hset_ |
hnaset_t | hnaset_ |
Friends | |
class | sch::StatePrinter |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|