faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference
|
Public Member Functions | |
THioEnvironment (void) | |
Creates an empty HioEnvironment object. | |
THioEnvironment (const Generator &rOtherGen) | |
HioEnvironment from a std Generator. | |
THioEnvironment (const Generator &rOtherGen, const EventSet &rYl, const EventSet &rUl, const EventSet &rYe, const EventSet &rUe) | |
HioEnvironment from a std Generator and event sets. | |
THioEnvironment (const THioEnvironment &rOtherGen) | |
HioEnvironment from a HioEnvironment. | |
THioEnvironment (const std::string &rFileName) | |
construct a HioEnvironment from file | |
THioEnvironment * | New (void) const |
Construct on heap. | |
virtual THioEnvironment * | Copy (void) const |
Construct copy on heap. | |
THioEnvironment | NewHioEnvironment (void) const |
Create empty HioEnvironment with same symboltable as this. | |
virtual THioEnvironment & | operator= (const THioEnvironment &rOtherGen) |
Assignment operator (uses copy ) Note: you must reimplement this operator in derived classes in order to handle internal pointers correctly. | |
virtual THioEnvironment & | operator= (const Generator &rOtherGen) |
Assignment operator (uses copy ). | |
void | InsYeEvent (Idx index) |
Add an existing Ye-event to generator. | |
Idx | InsYeEvent (const std::string &rName) |
Add new named Ye-event to generator. | |
void | InsUeEvent (Idx index) |
Add an existing Ue-event to generator. | |
Idx | InsUeEvent (const std::string &rName) |
Add new named Ue-event to generator. | |
void | SetYe (Idx index) |
Mark event as Ye-event (by index). | |
void | SetYe (const std::string &rName) |
Mark event as Ye-event(by name). | |
void | SetYe (const EventSet &rEvents) |
Mark set of events as Ye-events. | |
void | SetUe (Idx index) |
Mark event Ue-event(by index). | |
void | SetUe (const std::string &rName) |
Mark event Ue-event(by name). | |
void | SetUe (const EventSet &rEvents) |
Mark set of events as Ue-events. | |
bool | IsYe (Idx index) const |
Is event Ye-event(by index). | |
bool | IsYe (const std::string &rName) const |
Is event Ye-event(by name). | |
bool | IsUe (Idx index) const |
Is event Ue-event(by index). | |
bool | IsUe (const std::string &rName) const |
Is event Ue-event(by name). | |
EventSet | YeEvents (void) const |
Get EventSet with Ye-events. | |
EventSet | UeEvents (void) const |
Get EventSet with Ue-events. | |
void | InsYlEvent (Idx index) |
Add an existing Yl-event to generator. | |
Idx | InsYlEvent (const std::string &rName) |
Add new named Yl-event to generator. | |
void | InsUlEvent (Idx index) |
Add an existing Ul-event to generator. | |
Idx | InsUlEvent (const std::string &rName) |
Add new named Ul-event to generator. | |
void | SetYl (Idx index) |
Mark event as Yl-event (by index). | |
void | SetYl (const std::string &rName) |
Mark event as Yl-event (by name). | |
void | SetYl (const EventSet &rEvents) |
Mark set of events as Yl-events. | |
void | SetUl (Idx index) |
Mark event as Ul-event (by index). | |
void | SetUl (const std::string &rName) |
Mark event as Ul-event (by name). | |
void | SetUl (const EventSet &rEvents) |
Mark set of events as Ul-events. | |
bool | IsYl (Idx index) const |
Is event Yl-event (by index). | |
bool | IsYl (const std::string &rName) const |
Is event Yl-event (by name). | |
bool | IsUl (Idx index) const |
Is event Ul-event (by index). | |
bool | IsUl (const std::string &rName) const |
Is event Ul-event (by name). | |
EventSet | YlEvents (void) const |
Get EventSet with Yl-events. | |
EventSet | UlEvents (void) const |
Get EventSet with Ul-events. | |
bool | IsY (Idx index) const |
Is event Y-event? (by index). | |
bool | IsY (const std::string &rName) const |
Is event Y-event? (by name). | |
EventSet | YEvents (void) const |
Get EventSet with Y-events. | |
bool | IsU (Idx index) const |
Is event U-event? (by index). | |
bool | IsU (const std::string &rName) const |
Is event U-event? (by name). | |
EventSet | UEvents (void) const |
Get EventSet with U-events. | |
bool | IsE (Idx index) const |
Is event P-event? (by index). | |
bool | IsE (const std::string &rName) const |
Is event P-event? (by name). | |
EventSet | EEvents (void) const |
Get EventSet with P-events. | |
bool | IsL (Idx index) const |
Is event E-event? (by index). | |
bool | IsL (const std::string &rName) const |
Is event E-event? (by name). | |
EventSet | LEvents (void) const |
Get EventSet with E-events. | |
void | SetQYe (Idx index) |
Mark event as QYe-state (by index). | |
void | SetQYe (const std::string &rName) |
Mark state as QYe-state (by name). | |
void | SetQYe (const StateSet &rStates) |
Mark set of states as QYe-states. | |
void | ClrQYe (Idx index) |
Mark state as NOT QYe-state (by index). | |
void | ClrQYe (const std::string &rName) |
Mark state as NOT QYe-state (by name). | |
void | ClrQYe (const StateSet &rStates) |
Mark set of states as NOT QYe-states (by index). | |
bool | IsQYe (Idx index) const |
Is state QYe-state (by index). | |
bool | IsQYe (const std::string &rName) const |
Is state QYe-state (by name). | |
StateSet | QYeStates (void) const |
Get StateSet with QYe-states. | |
void | SetQUe (Idx index) |
Mark event as QUe-state (by index). | |
void | SetQUe (const std::string &rName) |
Mark state as QUe-state (by name). | |
void | SetQUe (const StateSet &rStates) |
Mark set of states as QUe-states. | |
void | ClrQUe (Idx index) |
Mark state as NOT QUe-state (by index). | |
void | ClrQUe (const std::string &rName) |
Mark state as NOT QUe-state (by name). | |
void | ClrQUe (const StateSet &rStates) |
Mark set of states as NOT QUe-states (by index). | |
bool | IsQUe (Idx index) const |
Is state QUe-state (by index). | |
bool | IsQUe (const std::string &rName) const |
Is state QUe-state (by name). | |
StateSet | QUeStates (void) const |
Get StateSet with QUe-states. | |
void | SetQUl (Idx index) |
Mark event as QUl-state (by index). | |
void | SetQUl (const std::string &rName) |
Mark state as QUl-state (by name). | |
void | SetQUl (const StateSet &rStates) |
Mark set of states as QUl-states. | |
void | ClrQUl (Idx index) |
Mark state as NOT QUl-state (by index). | |
void | ClrQUl (const std::string &rName) |
Mark state as NOT QUl-state (by name). | |
void | ClrQUl (const StateSet &rStates) |
Mark set of states as NOT QUl-states (by index). | |
bool | IsQUl (Idx index) const |
Is state QUl-state (by index). | |
bool | IsQUl (const std::string &rName) const |
Is state QUl-state (by name). | |
StateSet | QUlStates (void) const |
Get StateSet with QUl-states. | |
void | SetQYlUe (Idx index) |
Mark event as QYlUe-state (by index). | |
void | SetQYlUe (const std::string &rName) |
Mark state as QYlUe-state (by name). | |
void | SetQYlUe (const StateSet &rStates) |
Mark set of states as QYlUe-states. | |
void | ClrQYlUe (Idx index) |
Mark state as NOT QYlUe-state (by index). | |
void | ClrQYlUe (const std::string &rName) |
Mark state as NOT QYlUe-state (by name). | |
void | ClrQYlUe (const StateSet &rStates) |
Mark set of states as NOT QYlUe-states (by index). | |
bool | IsQYlUe (Idx index) const |
Is state QYlUe-state (by index). | |
bool | IsQYlUe (const std::string &rName) const |
Is state QYlUe-state (by name). | |
StateSet | QYlUeStates (void) const |
Get StateSet with QYlUe-states. | |
void | SetErr (Idx index) |
Mark state as Err-state (by index). | |
void | SetErr (const std::string &rName) |
Mark state as Err-state (by name). | |
void | SetErr (const StateSet &rStates) |
Mark set of states as Err-states. | |
void | ClrErr (Idx index) |
Mark state as NOT Err-state (by index). | |
void | ClrErr (const std::string &rName) |
Mark state as NOT Err-state (by name). | |
void | ClrErr (const StateSet &rStates) |
Mark set of states as NOT Err-states (by index). | |
bool | IsErr (Idx index) const |
Is state Err-state (by index). | |
bool | IsErr (const std::string &rName) const |
Is state Err-state (by name). | |
StateSet | ErrStates (void) const |
Get StateSet with Err-states. | |
virtual bool | UpdateAttributes (void) |
Updates internal attributes. |
Generator with I/O-environment attributes.
The HioEnvironment is a variant of the Generator to add an interface for events and states with I/O-environment attributes, built from HioEvent- and HioStateFlags
Technically, the construct is based on the specialized attribute classes faudes::HioEventFlags and faudes::HioStateFlags that provide attributes with semantics for hierarchical I/O properties. The THioEnvironment expects attribute template parameters with the minimum interface defined in HioEventFlags and HioStateFlags. Thus, you can add further semantics by deriving a class HioEventFlagsAndMore from HioEventFlags (same for HioStateFlags) and use this as event attribute parameter for THioEnvironment. To model a plain finite state machine plus I/O-environment properties, use THioEnvironment with HioEventFlags and HioStateFlags for the event and state attribute parameters and AttributeVoid for the other parameters. For convenience, this has been typedefed as HioEnvironment.
Definition at line 47 of file hio_environment.h.
faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioEnvironment | ( | void | ) | [inline] |
Creates an empty HioEnvironment object.
Definition at line 975 of file hio_environment.h.
faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioEnvironment | ( | const Generator & | rOtherGen | ) | [inline] |
HioEnvironment from a std Generator.
Copy constructor
rOtherGen |
Definition at line 985 of file hio_environment.h.
faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioEnvironment | ( | const Generator & | rOtherGen, | |
const EventSet & | rYl, | |||
const EventSet & | rUl, | |||
const EventSet & | rYe, | |||
const EventSet & | rUe | |||
) | [inline] |
HioEnvironment from a std Generator and event sets.
Copy constructor
rOtherGen | Generator | |
rYl | alphabet Yl | |
rUl | alphabet Ul | |
rYe | alphabet Ye | |
rUe | alphabet Ue |
Definition at line 990 of file hio_environment.h.
faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioEnvironment | ( | const THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) | [inline] |
HioEnvironment from a HioEnvironment.
Copy constructor
rOtherGen |
Definition at line 980 of file hio_environment.h.
faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioEnvironment | ( | const std::string & | rFileName | ) | [inline] |
construct a HioEnvironment from file
rFileName | Filename |
Definition at line 1005 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as NOT Err-states (by index).
rStates | StateSet |
Definition at line 1762 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | const std::string & | rName | ) | [inline] |
Mark state as NOT Err-state (by name).
rName | State name |
Definition at line 1755 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | Idx | index | ) | [inline] |
Mark state as NOT Err-state (by index).
index | State index |
Definition at line 1747 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUe | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as NOT QUe-states (by index).
rStates | StateSet |
Definition at line 1529 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUe | ( | const std::string & | rName | ) | [inline] |
Mark state as NOT QUe-state (by name).
rName | State name |
Definition at line 1522 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUe | ( | Idx | index | ) | [inline] |
Mark state as NOT QUe-state (by index).
index | State index |
Definition at line 1513 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUl | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as NOT QUl-states (by index).
rStates | StateSet |
Definition at line 1611 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUl | ( | const std::string & | rName | ) | [inline] |
Mark state as NOT QUl-state (by name).
rName | State name |
Definition at line 1604 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUl | ( | Idx | index | ) | [inline] |
Mark state as NOT QUl-state (by index).
index | State index |
Definition at line 1595 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYe | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as NOT QYe-states (by index).
rStates | StateSet |
Definition at line 1449 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYe | ( | const std::string & | rName | ) | [inline] |
Mark state as NOT QYe-state (by name).
rName | State name |
Definition at line 1442 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYe | ( | Idx | index | ) | [inline] |
Mark state as NOT QYe-state (by index).
index | State index |
Definition at line 1433 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYlUe | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as NOT QYlUe-states (by index).
rStates | StateSet |
Definition at line 1691 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYlUe | ( | const std::string & | rName | ) | [inline] |
Mark state as NOT QYlUe-state (by name).
rName | State name |
Definition at line 1684 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYlUe | ( | Idx | index | ) | [inline] |
Mark state as NOT QYlUe-state (by index).
index | State index |
Definition at line 1676 of file hio_environment.h.
THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::Copy | ( | void | ) | const [inline, virtual] |
Construct copy on heap.
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 1020 of file hio_environment.h.
EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::EEvents | ( | void | ) | const [inline] |
Get EventSet with P-events.
Definition at line 1374 of file hio_environment.h.
StateSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ErrStates | ( | void | ) | const [inline] |
Get StateSet with Err-states.
Definition at line 1783 of file hio_environment.h.
Idx faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUeEvent | ( | const std::string & | rName | ) | [inline] |
Add new named Ue-event to generator.
An entry in the global event table will be made if event is new.
rName | Name of the event to add |
Definition at line 1109 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUeEvent | ( | Idx | index | ) | [inline] |
Add an existing Ue-event to generator.
An entry in the global event table will be made.
index | Event index |
Definition at line 1100 of file hio_environment.h.
Idx faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUlEvent | ( | const std::string & | rName | ) | [inline] |
Add new named Ul-event to generator.
An entry in the global event table will be made if event is new.
rName | Name of the event to add |
Definition at line 1243 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUlEvent | ( | Idx | index | ) | [inline] |
Add an existing Ul-event to generator.
An entry in the global event table will be made.
index | Event index |
Definition at line 1234 of file hio_environment.h.
Idx faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsYeEvent | ( | const std::string & | rName | ) | [inline] |
Add new named Ye-event to generator.
An entry in the global event table will be made if event is new.
rName | Name of the event to add |
Definition at line 1091 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsYeEvent | ( | Idx | index | ) | [inline] |
Add an existing Ye-event to generator.
An entry in the global event table will be made.
index | Event index |
Definition at line 1082 of file hio_environment.h.
Idx faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsYlEvent | ( | const std::string & | rName | ) | [inline] |
Add new named Yl-event to generator.
An entry in the global event table will be made if event is new.
rName | Name of the event to add |
Definition at line 1225 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsYlEvent | ( | Idx | index | ) | [inline] |
Add an existing Yl-event to generator.
An entry in the global event table will be made.
index | Event index |
Definition at line 1216 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsE | ( | const std::string & | rName | ) | const [inline] |
Is event P-event? (by name).
rName | Event name |
Definition at line 1356 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsE | ( | Idx | index | ) | const [inline] |
Is event P-event? (by index).
index | Event index |
Definition at line 1350 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsErr | ( | const std::string & | rName | ) | const [inline] |
Is state Err-state (by name).
rName | State name |
Definition at line 1777 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsErr | ( | Idx | index | ) | const [inline] |
Is state Err-state (by index).
index | State index |
Definition at line 1771 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsL | ( | const std::string & | rName | ) | const [inline] |
Is event E-event? (by name).
rName | Event name |
Definition at line 1368 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsL | ( | Idx | index | ) | const [inline] |
Is event E-event? (by index).
index | Event index |
Definition at line 1362 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUe | ( | const std::string & | rName | ) | const [inline] |
Is state QUe-state (by name).
rName | State name |
Definition at line 1544 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUe | ( | Idx | index | ) | const [inline] |
Is state QUe-state (by index).
index | State index |
Definition at line 1538 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUl | ( | const std::string & | rName | ) | const [inline] |
Is state QUl-state (by name).
rName | State name |
Definition at line 1626 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUl | ( | Idx | index | ) | const [inline] |
Is state QUl-state (by index).
index | State index |
Definition at line 1620 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYe | ( | const std::string & | rName | ) | const [inline] |
Is state QYe-state (by name).
rName | State name |
Definition at line 1464 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYe | ( | Idx | index | ) | const [inline] |
Is state QYe-state (by index).
index | State index |
Definition at line 1458 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYlUe | ( | const std::string & | rName | ) | const [inline] |
Is state QYlUe-state (by name).
rName | State name |
Definition at line 1706 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYlUe | ( | Idx | index | ) | const [inline] |
Is state QYlUe-state (by index).
index | State index |
Definition at line 1700 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsU | ( | const std::string & | rName | ) | const [inline] |
Is event U-event? (by name).
rName | Event name |
Definition at line 1052 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsU | ( | Idx | index | ) | const [inline] |
Is event U-event? (by index).
index | Event index |
Definition at line 1046 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUe | ( | const std::string & | rName | ) | const [inline] |
Is event Ue-event(by name).
rName | Event name |
Definition at line 1186 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUe | ( | Idx | index | ) | const [inline] |
Is event Ue-event(by index).
index | Event index |
Definition at line 1180 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUl | ( | const std::string & | rName | ) | const [inline] |
Is event Ul-event (by name).
rName | Event name |
Definition at line 1320 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUl | ( | Idx | index | ) | const [inline] |
Is event Ul-event (by index).
index | Event index |
Definition at line 1314 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsY | ( | const std::string & | rName | ) | const [inline] |
Is event Y-event? (by name).
rName | Event name |
Definition at line 1040 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsY | ( | Idx | index | ) | const [inline] |
Is event Y-event? (by index).
index | Event index |
Definition at line 1034 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYe | ( | const std::string & | rName | ) | const [inline] |
Is event Ye-event(by name).
rName | Event name |
Definition at line 1174 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYe | ( | Idx | index | ) | const [inline] |
Is event Ye-event(by index).
index | Event index |
Definition at line 1168 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYl | ( | const std::string & | rName | ) | const [inline] |
Is event Yl-event (by name).
rName | Event name |
Definition at line 1308 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYl | ( | Idx | index | ) | const [inline] |
Is event Yl-event (by index).
index | Event index |
Definition at line 1302 of file hio_environment.h.
EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::LEvents | ( | void | ) | const [inline] |
Get EventSet with E-events.
Definition at line 1385 of file hio_environment.h.
THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::New | ( | void | ) | const [inline, virtual] |
Construct on heap.
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 1010 of file hio_environment.h.
THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr > faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewHioEnvironment | ( | void | ) | const [inline] |
Create empty HioEnvironment with same symboltable as this.
Definition at line 1025 of file hio_environment.h.
virtual THioEnvironment& faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::operator= | ( | const Generator & | rOtherGen | ) | [inline, virtual] |
Assignment operator (uses copy ).
rOtherGen | Other generator |
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 141 of file hio_environment.h.
virtual THioEnvironment& faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::operator= | ( | const THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) | [inline, virtual] |
Assignment operator (uses copy ) Note: you must reimplement this operator in derived classes in order to handle internal pointers correctly.
rOtherGen | Other generator |
Definition at line 133 of file hio_environment.h.
StateSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::QUeStates | ( | void | ) | const [inline] |
Get StateSet with QUe-states.
Definition at line 1550 of file hio_environment.h.
StateSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::QUlStates | ( | void | ) | const [inline] |
Get StateSet with QUl-states.
Definition at line 1632 of file hio_environment.h.
StateSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::QYeStates | ( | void | ) | const [inline] |
Get StateSet with QYe-states.
Definition at line 1470 of file hio_environment.h.
StateSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::QYlUeStates | ( | void | ) | const [inline] |
Get StateSet with QYlUe-states.
Definition at line 1712 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as Err-states.
rStates | StateSet |
Definition at line 1738 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | const std::string & | rName | ) | [inline] |
Mark state as Err-state (by name).
rName | State name |
Definition at line 1731 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | Idx | index | ) | [inline] |
Mark state as Err-state (by index).
index | State index |
Definition at line 1723 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUe | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as QUe-states.
rStates | StateSet |
Definition at line 1504 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUe | ( | const std::string & | rName | ) | [inline] |
Mark state as QUe-state (by name).
rName | State name |
Definition at line 1497 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUe | ( | Idx | index | ) | [inline] |
Mark event as QUe-state (by index).
index | State index |
Definition at line 1482 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUl | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as QUl-states.
rStates | StateSet |
Definition at line 1586 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUl | ( | const std::string & | rName | ) | [inline] |
Mark state as QUl-state (by name).
rName | State name |
Definition at line 1579 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUl | ( | Idx | index | ) | [inline] |
Mark event as QUl-state (by index).
index | State index |
Definition at line 1564 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYe | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as QYe-states.
rStates | StateSet |
Definition at line 1424 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYe | ( | const std::string & | rName | ) | [inline] |
Mark state as QYe-state (by name).
rName | State name |
Definition at line 1417 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYe | ( | Idx | index | ) | [inline] |
Mark event as QYe-state (by index).
index | State index |
Definition at line 1402 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYlUe | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as QYlUe-states.
rStates | StateSet |
Definition at line 1667 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYlUe | ( | const std::string & | rName | ) | [inline] |
Mark state as QYlUe-state (by name).
rName | State name |
Definition at line 1660 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYlUe | ( | Idx | index | ) | [inline] |
Mark event as QYlUe-state (by index).
index | State index |
Definition at line 1645 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUe | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events as Ue-events.
rEvents | EventSet |
Definition at line 1159 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUe | ( | const std::string & | rName | ) | [inline] |
Mark event Ue-event(by name).
rName | Event name |
Definition at line 1152 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUe | ( | Idx | index | ) | [inline] |
Mark event Ue-event(by index).
index | Event index |
Definition at line 1143 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUl | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events as Ul-events.
rEvents | EventSet |
Definition at line 1293 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUl | ( | const std::string & | rName | ) | [inline] |
Mark event as Ul-event (by name).
rName | Event name |
Definition at line 1286 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUl | ( | Idx | index | ) | [inline] |
Mark event as Ul-event (by index).
index | Event index |
Definition at line 1277 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYe | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events as Ye-events.
rEvents | EventSet |
Definition at line 1134 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYe | ( | const std::string & | rName | ) | [inline] |
Mark event as Ye-event(by name).
rName | Event name |
Definition at line 1127 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYe | ( | Idx | index | ) | [inline] |
Mark event as Ye-event (by index).
index | Event index |
Definition at line 1118 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYl | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events as Yl-events.
rEvents | EventSet |
Definition at line 1268 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYl | ( | const std::string & | rName | ) | [inline] |
Mark event as Yl-event (by name).
rName | Event name |
Definition at line 1261 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYl | ( | Idx | index | ) | [inline] |
Mark event as Yl-event (by index).
index | Event index |
Definition at line 1252 of file hio_environment.h.
EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::UeEvents | ( | void | ) | const [inline] |
Get EventSet with Ue-events.
Definition at line 1203 of file hio_environment.h.
EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::UEvents | ( | void | ) | const [inline] |
Get EventSet with U-events.
Definition at line 1069 of file hio_environment.h.
EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::UlEvents | ( | void | ) | const [inline] |
Get EventSet with Ul-events.
Definition at line 1337 of file hio_environment.h.
virtual bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::UpdateAttributes | ( | void | ) | [inline, virtual] |
Updates internal attributes.
This method sets the state partition attributes.
Reimplemented from faudes::vGenerator.
Definition at line 957 of file hio_environment.h.
EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::YeEvents | ( | void | ) | const [inline] |
Get EventSet with Ye-events.
Definition at line 1192 of file hio_environment.h.
EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::YEvents | ( | void | ) | const [inline] |
Get EventSet with Y-events.
Definition at line 1058 of file hio_environment.h.
EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::YlEvents | ( | void | ) | const [inline] |
Get EventSet with Yl-events.
Definition at line 1326 of file hio_environment.h.
libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen