_arcs | STATE | [protected] |
_name | STATE | [protected] |
arcs() const | STATE | [inline] |
arcs() | STATE | [inline] |
clear() | STATE | [inline] |
consumes(cEVENTptr &e) const | STATE | [inline] |
event(STATE *&next, cEVENTptr &e, STATE *start=0) const | STATE | [inline] |
is_empty() | STATE | [inline] |
name() const | STATE | [inline] |
operator+=(cSTATE &s) | STATE | [inline] |
operator+=(ARC *a) | STATE | [inline] |
operator-=(cSTATE &s) | STATE | [inline] |
operator-=(ARC *a) | STATE | [inline] |
operator==(cSTATE &) const | STATE | [inline] |
set_name(Cstr_ptr &n) | STATE | [inline] |
STATE() | STATE | [inline] |
STATE(Cstr_ptr &n) | STATE | [inline] |