| |
libFAUDES
Sections
Index
|
faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference |
Public Member Functions | |
THioPlant (void) | |
Creates an empty HioPlant object. | |
THioPlant (const Generator &rOtherGen) | |
HioPlant from a std Generator. | |
THioPlant (const Generator &rOtherGen, const EventSet &rYp, const EventSet &rUp, const EventSet &rYe, const EventSet &rUe) | |
HioPlant from a std Generator and event sets. | |
THioPlant (const THioPlant &rOtherGen) | |
HioPlant from a HioPlant. | |
THioPlant (const std::string &rFileName) | |
construct a HioPlant from file | |
virtual THioPlant * | New (void) const |
Construct on heap. | |
virtual THioPlant * | Copy (void) const |
Construct copy on heap. | |
THioPlant | NewHioPlant (void) const |
Create empty HioPlant with same symboltable as this. | |
virtual THioPlant & | operator= (const THioPlant &rOtherGen) |
Assignment operator (uses copy ) Note: you must reimplement this operator in derived classes in order to handle internal pointers correctly. | |
virtual THioPlant & | operator= (const vGenerator &rOtherGen) |
Assignment operator (uses copy ). | |
void | InsYpEvent (Idx index) |
Add an existing Yp-event to generator. | |
Idx | InsYpEvent (const std::string &rName) |
Add new named Yp-event to generator. | |
void | InsUpEvent (Idx index) |
Add an existing Up-event to generator. | |
Idx | InsUpEvent (const std::string &rName) |
Add new named Up-event to generator. | |
void | SetYp (Idx index) |
Mark event as Yp-event (by index). | |
void | SetYp (const std::string &rName) |
Mark event as Yp-event(by name). | |
void | SetYp (const EventSet &rEvents) |
Mark set of events as Yp-events. | |
void | SetUp (Idx index) |
Mark event Up-event(by index). | |
void | SetUp (const std::string &rName) |
Mark event Up-event(by name). | |
void | SetUp (const EventSet &rEvents) |
Mark set of events as Up-events. | |
bool | IsYp (Idx index) const |
Is event Yp-event(by index). | |
bool | IsYp (const std::string &rName) const |
Is event Yp-event(by name). | |
bool | IsUp (Idx index) const |
Is event Up-event(by index). | |
bool | IsUp (const std::string &rName) const |
Is event Up-event(by name). | |
EventSet | YpEvents (void) const |
Get EventSet with Yp-events. | |
EventSet | UpEvents (void) const |
Get EventSet with Up-events. | |
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 as Ue-event (by index). | |
void | SetUe (const std::string &rName) |
Mark event as 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. | |
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 | IsP (Idx index) const |
Is event P-event? (by index). | |
bool | IsP (const std::string &rName) const |
Is event P-event? (by name). | |
EventSet | PEvents (void) const |
Get EventSet with P-events. | |
bool | IsE (Idx index) const |
Is event E-event? (by index). | |
bool | IsE (const std::string &rName) const |
Is event E-event? (by name). | |
EventSet | EEvents (void) const |
Get EventSet with E-events. | |
void | SetQYpYe (Idx index) |
Mark state as QYpYe-state (by index). | |
void | SetQYpYe (const std::string &rName) |
Mark state as QYpYe-state (by name). | |
void | SetQYpYe (const StateSet &rStates) |
Mark set of states as QYpYe-states. | |
void | ClrQYpYe (Idx index) |
Mark state as NOT QYpYe-state (by index). | |
void | ClrQYpYe (const std::string &rName) |
Mark state as NOT QYpYe-state (by name). | |
void | ClrQYpYe (const StateSet &rStates) |
Mark set of states as NOT QYpYe-states (by index). | |
bool | IsQYpYe (Idx index) const |
Is state QYpYe-state (by index). | |
bool | IsQYpYe (const std::string &rName) const |
Is state QYpYe-state (by name). | |
StateSet | QYpYeStates (void) const |
Get StateSet with QYpYe-states. | |
void | SetQUp (Idx index) |
Mark state as QUp-state (by index). | |
void | SetQUp (const std::string &rName) |
Mark state as QUp-state (by name). | |
void | SetQUp (const StateSet &rStates) |
Mark set of states as QUp-states. | |
void | ClrQUp (Idx index) |
Mark state as NOT QUp-state (by index). | |
void | ClrQUp (const std::string &rName) |
Mark state as NOT QUp-state (by name). | |
void | ClrQUp (const StateSet &rStates) |
Mark set of states as NOT QUp-states (by index). | |
bool | IsQUp (Idx index) const |
Is state QUp-state (by index). | |
bool | IsQUp (const std::string &rName) const |
Is state QUp-state (by name). | |
StateSet | QUpStates (void) const |
Get StateSet with QUp-states. | |
void | SetQUe (Idx index) |
Mark state 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 | 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. |
faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioPlant | ( | void | ) | [inline] |
faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioPlant | ( | const Generator & | rOtherGen | ) | [inline] |
HioPlant from a std Generator.
Copy constructor
rOtherGen |
Definition at line 909 of file hio_plant.h.
faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioPlant | ( | const Generator & | rOtherGen, | |
const EventSet & | rYp, | |||
const EventSet & | rUp, | |||
const EventSet & | rYe, | |||
const EventSet & | rUe | |||
) | [inline] |
HioPlant from a std Generator and event sets.
Copy constructor
rOtherGen | Generator | |
rYp | alphabet Yp | |
rUp | alphabet Up | |
rYe | alphabet Ye | |
rUe | alphabet Ue |
Definition at line 914 of file hio_plant.h.
faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioPlant | ( | const THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) | [inline] |
HioPlant from a HioPlant.
Copy constructor
rOtherGen |
Definition at line 904 of file hio_plant.h.
faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioPlant | ( | const std::string & | rFileName | ) | [inline] |
construct a HioPlant from file
rFileName | Filename |
Definition at line 929 of file hio_plant.h.
THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::New | ( | void | ) | const [inline, virtual] |
Construct on heap.
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 934 of file hio_plant.h.
THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::Copy | ( | void | ) | const [inline, virtual] |
Construct copy on heap.
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 944 of file hio_plant.h.
THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr > faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewHioPlant | ( | void | ) | const [inline] |
Create empty HioPlant with same symboltable as this.
Definition at line 949 of file hio_plant.h.
virtual THioPlant& faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::operator= | ( | const THioPlant< 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_plant.h.
virtual THioPlant& faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::operator= | ( | const vGenerator & | 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_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsYpEvent | ( | Idx | index | ) | [inline] |
Add an existing Yp-event to generator.
An entry in the global event table will be made.
index | Event index |
Definition at line 1007 of file hio_plant.h.
Idx faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsYpEvent | ( | const std::string & | rName | ) | [inline] |
Add new named Yp-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 1016 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUpEvent | ( | Idx | index | ) | [inline] |
Add an existing Up-event to generator.
An entry in the global event table will be made.
index | Event index |
Definition at line 1025 of file hio_plant.h.
Idx faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUpEvent | ( | const std::string & | rName | ) | [inline] |
Add new named Up-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 1034 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYp | ( | Idx | index | ) | [inline] |
Mark event as Yp-event (by index).
index | Event index |
Definition at line 1043 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYp | ( | const std::string & | rName | ) | [inline] |
Mark event as Yp-event(by name).
rName | Event name |
Definition at line 1052 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYp | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events as Yp-events.
rEvents | EventSet |
Definition at line 1059 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUp | ( | Idx | index | ) | [inline] |
Mark event Up-event(by index).
index | Event index |
Definition at line 1068 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUp | ( | const std::string & | rName | ) | [inline] |
Mark event Up-event(by name).
rName | Event name |
Definition at line 1077 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUp | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events as Up-events.
rEvents | EventSet |
Definition at line 1084 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYp | ( | Idx | index | ) | const [inline] |
Is event Yp-event(by index).
index | Event index |
Definition at line 1093 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYp | ( | const std::string & | rName | ) | const [inline] |
Is event Yp-event(by name).
rName | Event name |
Definition at line 1099 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUp | ( | Idx | index | ) | const [inline] |
Is event Up-event(by index).
index | Event index |
Definition at line 1105 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUp | ( | const std::string & | rName | ) | const [inline] |
Is event Up-event(by name).
rName | Event name |
Definition at line 1111 of file hio_plant.h.
EventSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::YpEvents | ( | void | ) | const [inline] |
Get EventSet with Yp-events.
Definition at line 1117 of file hio_plant.h.
EventSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::UpEvents | ( | void | ) | const [inline] |
Get EventSet with Up-events.
Definition at line 1128 of file hio_plant.h.
void faudes::THioPlant< 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 1141 of file hio_plant.h.
Idx faudes::THioPlant< 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 1150 of file hio_plant.h.
void faudes::THioPlant< 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 1159 of file hio_plant.h.
Idx faudes::THioPlant< 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 1168 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYe | ( | Idx | index | ) | [inline] |
Mark event as Ye-event (by index).
index | Event index |
Definition at line 1177 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYe | ( | const std::string & | rName | ) | [inline] |
Mark event as Ye-event (by name).
rName | Event name |
Definition at line 1186 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYe | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events as Ye-events.
rEvents | EventSet |
Definition at line 1193 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUe | ( | Idx | index | ) | [inline] |
Mark event as Ue-event (by index).
index | Event index |
Definition at line 1202 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUe | ( | const std::string & | rName | ) | [inline] |
Mark event as Ue-event (by name).
rName | Event name |
Definition at line 1211 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUe | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events as Ue-events.
rEvents | EventSet |
Definition at line 1218 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYe | ( | Idx | index | ) | const [inline] |
Is event Ye-event (by index).
index | Event index |
Definition at line 1227 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYe | ( | const std::string & | rName | ) | const [inline] |
Is event Ye-event (by name).
rName | Event name |
Definition at line 1233 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUe | ( | Idx | index | ) | const [inline] |
Is event Ue-event (by index).
index | Event index |
Definition at line 1239 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUe | ( | const std::string & | rName | ) | const [inline] |
Is event Ue-event (by name).
rName | Event name |
Definition at line 1245 of file hio_plant.h.
EventSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::YeEvents | ( | void | ) | const [inline] |
Get EventSet with Ye-events.
Definition at line 1251 of file hio_plant.h.
EventSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::UeEvents | ( | void | ) | const [inline] |
Get EventSet with Ue-events.
Definition at line 1262 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsY | ( | Idx | index | ) | const [inline] |
Is event Y-event? (by index).
index | Event index |
Definition at line 959 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsY | ( | const std::string & | rName | ) | const [inline] |
Is event Y-event? (by name).
rName | Event name |
Definition at line 965 of file hio_plant.h.
EventSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::YEvents | ( | void | ) | const [inline] |
Get EventSet with Y-events.
Definition at line 983 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsU | ( | Idx | index | ) | const [inline] |
Is event U-event? (by index).
index | Event index |
Definition at line 971 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsU | ( | const std::string & | rName | ) | const [inline] |
Is event U-event? (by name).
rName | Event name |
Definition at line 977 of file hio_plant.h.
EventSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::UEvents | ( | void | ) | const [inline] |
Get EventSet with U-events.
Definition at line 994 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsP | ( | Idx | index | ) | const [inline] |
Is event P-event? (by index).
index | Event index |
Definition at line 1275 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsP | ( | const std::string & | rName | ) | const [inline] |
Is event P-event? (by name).
rName | Event name |
Definition at line 1281 of file hio_plant.h.
EventSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::PEvents | ( | void | ) | const [inline] |
Get EventSet with P-events.
Definition at line 1299 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsE | ( | Idx | index | ) | const [inline] |
Is event E-event? (by index).
index | Event index |
Definition at line 1287 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsE | ( | const std::string & | rName | ) | const [inline] |
Is event E-event? (by name).
rName | Event name |
Definition at line 1293 of file hio_plant.h.
EventSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::EEvents | ( | void | ) | const [inline] |
Get EventSet with E-events.
Definition at line 1310 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYpYe | ( | Idx | index | ) | [inline] |
Mark state as QYpYe-state (by index).
index | State index |
Definition at line 1327 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYpYe | ( | const std::string & | rName | ) | [inline] |
Mark state as QYpYe-state (by name).
rName | State name |
Definition at line 1342 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYpYe | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as QYpYe-states.
rStates | StateSet |
Definition at line 1349 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYpYe | ( | Idx | index | ) | [inline] |
Mark state as NOT QYpYe-state (by index).
index | State index |
Definition at line 1358 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYpYe | ( | const std::string & | rName | ) | [inline] |
Mark state as NOT QYpYe-state (by name).
rName | State name |
Definition at line 1368 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYpYe | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as NOT QYpYe-states (by index).
rStates | StateSet |
Definition at line 1375 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYpYe | ( | Idx | index | ) | const [inline] |
Is state QYpYe-state (by index).
index | State index |
Definition at line 1384 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYpYe | ( | const std::string & | rName | ) | const [inline] |
Is state QYpYe-state (by name).
rName | State name |
Definition at line 1390 of file hio_plant.h.
StateSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::QYpYeStates | ( | void | ) | const [inline] |
Get StateSet with QYpYe-states.
Definition at line 1396 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUp | ( | Idx | index | ) | [inline] |
Mark state as QUp-state (by index).
index | State index |
Definition at line 1408 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUp | ( | const std::string & | rName | ) | [inline] |
Mark state as QUp-state (by name).
rName | State name |
Definition at line 1423 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUp | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as QUp-states.
rStates | StateSet |
Definition at line 1430 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUp | ( | Idx | index | ) | [inline] |
Mark state as NOT QUp-state (by index).
index | State index |
Definition at line 1439 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUp | ( | const std::string & | rName | ) | [inline] |
Mark state as NOT QUp-state (by name).
rName | State name |
Definition at line 1448 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUp | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as NOT QUp-states (by index).
rStates | StateSet |
Definition at line 1455 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUp | ( | Idx | index | ) | const [inline] |
Is state QUp-state (by index).
index | State index |
Definition at line 1464 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUp | ( | const std::string & | rName | ) | const [inline] |
Is state QUp-state (by name).
rName | State name |
Definition at line 1470 of file hio_plant.h.
StateSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::QUpStates | ( | void | ) | const [inline] |
Get StateSet with QUp-states.
Definition at line 1476 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUe | ( | Idx | index | ) | [inline] |
Mark state as QUe-state (by index).
index | State index |
Definition at line 1490 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUe | ( | const std::string & | rName | ) | [inline] |
Mark state as QUe-state (by name).
rName | State name |
Definition at line 1505 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUe | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as QUe-states.
rStates | StateSet |
Definition at line 1512 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUe | ( | Idx | index | ) | [inline] |
Mark state as NOT QUe-state (by index).
index | State index |
Definition at line 1521 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUe | ( | const std::string & | rName | ) | [inline] |
Mark state as NOT QUe-state (by name).
rName | State name |
Definition at line 1530 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUe | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as NOT QUe-states (by index).
rStates | StateSet |
Definition at line 1537 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUe | ( | Idx | index | ) | const [inline] |
Is state QUe-state (by index).
index | State index |
Definition at line 1546 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUe | ( | const std::string & | rName | ) | const [inline] |
Is state QUe-state (by name).
rName | State name |
Definition at line 1552 of file hio_plant.h.
StateSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::QUeStates | ( | void | ) | const [inline] |
Get StateSet with QUe-states.
Definition at line 1558 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | Idx | index | ) | [inline] |
Mark state as Err-state (by index).
index | State index |
Definition at line 1569 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | const std::string & | rName | ) | [inline] |
Mark state as Err-state (by name).
rName | State name |
Definition at line 1577 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as Err-states.
rStates | StateSet |
Definition at line 1584 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | Idx | index | ) | [inline] |
Mark state as NOT Err-state (by index).
index | State index |
Definition at line 1593 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | const std::string & | rName | ) | [inline] |
Mark state as NOT Err-state (by name).
rName | State name |
Definition at line 1601 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as NOT Err-states (by index).
rStates | StateSet |
Definition at line 1608 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsErr | ( | Idx | index | ) | const [inline] |
Is state Err-state (by index).
index | State index |
Definition at line 1617 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsErr | ( | const std::string & | rName | ) | const [inline] |
Is state Err-state (by name).
rName | State name |
Definition at line 1623 of file hio_plant.h.
StateSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ErrStates | ( | void | ) | const [inline] |
Get StateSet with Err-states.
Definition at line 1629 of file hio_plant.h.
virtual bool faudes::THioPlant< 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 881 of file hio_plant.h.
libFAUDES 2.14g --- 2009-12-3 --- c++ source docu by doxygen 1.5.6