#include <state.H>
Public Methods | |
STATE () | |
STATE (Cstr_ptr &n) | |
int | is_empty () |
void | operator+= (cSTATE &s) |
void | operator-= (cSTATE &s) |
void | operator-= (ARC *a) |
void | operator+= (ARC *a) |
int | consumes (cEVENTptr &e) const |
void | event (STATE *&next, cEVENTptr &e, STATE *start=0) const |
void | clear () |
const ARRAY< ARC * > & | arcs () const |
ARRAY< ARC * > & | arcs () |
Cstr_ptr & | name () const |
void | set_name (Cstr_ptr &n) |
int | operator== (cSTATE &) const |
Protected Attributes | |
ARRAY< ARC * > | _arcs |
str_ptr | _name |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|