#include <mid.hh>
Public Types | |
typedef val_mset_t | midset_t |
Public Member Functions | |
midset_t & | midset () |
MIDSet () | |
void | insert (const MIDEntry &x) |
void | erase (const mset_t::iterator &pos) |
Private Types | |
typedef MIDSet | This |
typedef sch::Updatable< MIDEntry > | elem_t |
typedef std::set< elem_t > | mset_t |
typedef sch::upd::SetEraser< This, mset_t::iterator > | eraser_t |
typedef sch::UpdateEvent< eraser_t > | updater_t |
typedef utl::Subset< mset_t, utl::NoAction< This, mset_t::iterator >, utl::DefaultPredicate< This, mset_t::iterator >, This > | val_mset_t |
Private Attributes | |
mset_t | mset_ |
midset_t | midset_ |
Friends | |
class | sch::StatePrinter |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|