faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference
|
Public Member Functions | |
THioController (void) | |
Creates an empty HioController object. | |
THioController (const Generator &rOtherGen) | |
HioController from a std Generator. | |
THioController (const Generator &rOtherGen, const EventSet &rYc, const EventSet &rUc, const EventSet &rYp, const EventSet &rUp) | |
HioController from a std Generator and event sets. | |
THioController (const THioController &rOtherGen) | |
HioController from a HioController. | |
THioController (const std::string &rFileName) | |
construct a HioController from file | |
THioController * | New (void) const |
Construct on heap. | |
virtual THioController * | Copy (void) const |
Construct copy on heap. | |
THioController | NewHioController (void) const |
Create empty HioController with same symboltable as this. | |
virtual THioController & | operator= (const THioController &rOtherGen) |
Assignment operator (uses copy ) Note: you must reimplement this operator in derived classes in order to handle internal pointers correctly. | |
virtual THioController & | operator= (const Generator &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 | InsYcEvent (Idx index) |
Add an existing Yc-event to generator. | |
Idx | InsYcEvent (const std::string &rName) |
Add new named Yc-event to generator. | |
void | InsUcEvent (Idx index) |
Add an existing Uc-event to generator. | |
Idx | InsUcEvent (const std::string &rName) |
Add new named Uc-event to generator. | |
void | SetYc (Idx index) |
Mark event as Yc-event (by index). | |
void | SetYc (const std::string &rName) |
Mark event as Yc-event (by name). | |
void | SetYc (const EventSet &rEvents) |
Mark set of events as Yc-events. | |
void | SetUc (Idx index) |
Mark event as Uc-event (by index). | |
void | SetUc (const std::string &rName) |
Mark event as Uc-event (by name). | |
void | SetUc (const EventSet &rEvents) |
Mark set of events as Uc-events. | |
bool | IsYc (Idx index) const |
Is event Yc-event (by index). | |
bool | IsYc (const std::string &rName) const |
Is event Yc-event (by name). | |
bool | IsUc (Idx index) const |
Is event Uc-event (by index). | |
bool | IsUc (const std::string &rName) const |
Is event Uc-event (by name). | |
EventSet | YcEvents (void) const |
Get EventSet with Yc-events. | |
EventSet | UcEvents (void) const |
Get EventSet with Uc-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 | IsC (Idx index) const |
Is event E-event? (by index). | |
bool | IsC (const std::string &rName) const |
Is event E-event? (by name). | |
EventSet | CEvents (void) const |
Get EventSet with E-events. | |
void | SetQYp (Idx index) |
Mark state as QYP-state (by index). | |
void | SetQYp (const std::string &rName) |
Mark state as QYP-state (by name). | |
void | SetQYp (const StateSet &rStates) |
Mark set of states as QYP-states. | |
void | ClrQYP (Idx index) |
Mark state as NOT QYP-state (by index). | |
void | ClrQYP (const std::string &rName) |
Mark state as NOT QYP-state (by name). | |
void | ClrQYP (const StateSet &rStates) |
Mark set of states as NOT QYP-states (by index). | |
bool | IsQYP (Idx index) const |
Is state QYP-state (by index). | |
bool | IsQYP (const std::string &rName) const |
Is state QYP-state (by name). | |
StateSet | QYPStates (void) const |
Get StateSet with QYP-states. | |
void | SetQUp (Idx index) |
Mark event 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 | SetQUc (Idx index) |
Mark event as QUc-state (by index). | |
void | SetQUc (const std::string &rName) |
Mark state as QUc-state (by name). | |
void | SetQUc (const StateSet &rStates) |
Mark set of states as QUc-states. | |
void | ClrQUc (Idx index) |
Mark state as NOT QUc-state (by index). | |
void | ClrQUc (const std::string &rName) |
Mark state as NOT QUc-state (by name). | |
void | ClrQUc (const StateSet &rStates) |
Mark set of states as NOT QUc-states (by index). | |
bool | IsQUc (Idx index) const |
Is state QUc-state (by index). | |
bool | IsQUc (const std::string &rName) const |
Is state QUc-state (by name). | |
StateSet | QUcStates (void) const |
Get StateSet with QUc-states. | |
void | SetQYcUp (Idx index) |
Mark event as QYcUp-state (by index). | |
void | SetQYcUp (const std::string &rName) |
Mark state as QYcUp-state (by name). | |
void | SetQYcUp (const StateSet &rStates) |
Mark set of states as QYcUp-states. | |
void | ClrQYcUp (Idx index) |
Mark state as NOT QYcUp-state (by index). | |
void | ClrQYcUp (const std::string &rName) |
Mark state as NOT QYcUp-state (by name). | |
void | ClrQYcUp (const StateSet &rStates) |
Mark set of states as NOT QYcUp-states (by index). | |
bool | IsQYcUp (Idx index) const |
Is state QYcUp-state (by index). | |
bool | IsQYcUp (const std::string &rName) const |
Is state QYcUp-state (by name). | |
StateSet | QYcUpStates (void) const |
Get StateSet with QYcUp-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-controller attributes.
The HioController is a variant of the Generator to add an interface for events and states with I/O-controller 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 THioController 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 THioController. To model a plain finite state machine plus I/O-controller properties, use THioController with HioEventFlags and HioStateFlags for the event and state attribute parameters and AttributeVoid for the other parameters. For convenience, this has been typedefed as HioController.
Definition at line 48 of file hio_controller.h.
faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioController | ( | void | ) | [inline] |
Creates an empty HioController object.
Definition at line 976 of file hio_controller.h.
faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioController | ( | const Generator & | rOtherGen | ) | [inline] |
HioController from a std Generator.
Copy constructor
rOtherGen |
Definition at line 986 of file hio_controller.h.
faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioController | ( | const Generator & | rOtherGen, | |
const EventSet & | rYc, | |||
const EventSet & | rUc, | |||
const EventSet & | rYp, | |||
const EventSet & | rUp | |||
) | [inline] |
HioController from a std Generator and event sets.
Copy constructor
rOtherGen | Generator | |
rYc | alphabet Yc | |
rUc | alphabet Uc | |
rYp | alphabet Yp | |
rUp | alphabet Up |
Definition at line 991 of file hio_controller.h.
faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioController | ( | const THioController< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) | [inline] |
HioController from a HioController.
Copy constructor
rOtherGen |
Definition at line 981 of file hio_controller.h.
faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioController | ( | const std::string & | rFileName | ) | [inline] |
construct a HioController from file
rFileName | Filename |
Definition at line 1006 of file hio_controller.h.
EventSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::CEvents | ( | void | ) | const [inline] |
Get EventSet with E-events.
Definition at line 1386 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as NOT Err-states (by index).
rStates | StateSet |
Definition at line 1763 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | const std::string & | rName | ) | [inline] |
Mark state as NOT Err-state (by name).
rName | State name |
Definition at line 1756 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | Idx | index | ) | [inline] |
Mark state as NOT Err-state (by index).
index | State index |
Definition at line 1748 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUc | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as NOT QUc-states (by index).
rStates | StateSet |
Definition at line 1612 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUc | ( | const std::string & | rName | ) | [inline] |
Mark state as NOT QUc-state (by name).
rName | State name |
Definition at line 1605 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUc | ( | Idx | index | ) | [inline] |
Mark state as NOT QUc-state (by index).
index | State index |
Definition at line 1596 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUp | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as NOT QUp-states (by index).
rStates | StateSet |
Definition at line 1530 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUp | ( | const std::string & | rName | ) | [inline] |
Mark state as NOT QUp-state (by name).
rName | State name |
Definition at line 1523 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUp | ( | Idx | index | ) | [inline] |
Mark state as NOT QUp-state (by index).
index | State index |
Definition at line 1514 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYcUp | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as NOT QYcUp-states (by index).
rStates | StateSet |
Definition at line 1692 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYcUp | ( | const std::string & | rName | ) | [inline] |
Mark state as NOT QYcUp-state (by name).
rName | State name |
Definition at line 1685 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYcUp | ( | Idx | index | ) | [inline] |
Mark state as NOT QYcUp-state (by index).
index | State index |
Definition at line 1677 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYP | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as NOT QYP-states (by index).
rStates | StateSet |
Definition at line 1450 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYP | ( | const std::string & | rName | ) | [inline] |
Mark state as NOT QYP-state (by name).
rName | State name |
Definition at line 1443 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYP | ( | Idx | index | ) | [inline] |
Mark state as NOT QYP-state (by index).
index | State index |
Definition at line 1434 of file hio_controller.h.
THioController< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::Copy | ( | void | ) | const [inline, virtual] |
Construct copy on heap.
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 1021 of file hio_controller.h.
StateSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ErrStates | ( | void | ) | const [inline] |
Get StateSet with Err-states.
Definition at line 1784 of file hio_controller.h.
Idx faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUcEvent | ( | const std::string & | rName | ) | [inline] |
Add new named Uc-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 1244 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUcEvent | ( | Idx | index | ) | [inline] |
Add an existing Uc-event to generator.
An entry in the global event table will be made.
index | Event index |
Definition at line 1235 of file hio_controller.h.
Idx faudes::THioController< 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 1110 of file hio_controller.h.
void faudes::THioController< 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 1101 of file hio_controller.h.
Idx faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsYcEvent | ( | const std::string & | rName | ) | [inline] |
Add new named Yc-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 1226 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsYcEvent | ( | Idx | index | ) | [inline] |
Add an existing Yc-event to generator.
An entry in the global event table will be made.
index | Event index |
Definition at line 1217 of file hio_controller.h.
Idx faudes::THioController< 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 1092 of file hio_controller.h.
void faudes::THioController< 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 1083 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsC | ( | const std::string & | rName | ) | const [inline] |
Is event E-event? (by name).
rName | Event name |
Definition at line 1369 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsC | ( | Idx | index | ) | const [inline] |
Is event E-event? (by index).
index | Event index |
Definition at line 1363 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsErr | ( | const std::string & | rName | ) | const [inline] |
Is state Err-state (by name).
rName | State name |
Definition at line 1778 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsErr | ( | Idx | index | ) | const [inline] |
Is state Err-state (by index).
index | State index |
Definition at line 1772 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsP | ( | const std::string & | rName | ) | const [inline] |
Is event P-event? (by name).
rName | Event name |
Definition at line 1357 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsP | ( | Idx | index | ) | const [inline] |
Is event P-event? (by index).
index | Event index |
Definition at line 1351 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUc | ( | const std::string & | rName | ) | const [inline] |
Is state QUc-state (by name).
rName | State name |
Definition at line 1627 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUc | ( | Idx | index | ) | const [inline] |
Is state QUc-state (by index).
index | State index |
Definition at line 1621 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUp | ( | const std::string & | rName | ) | const [inline] |
Is state QUp-state (by name).
rName | State name |
Definition at line 1545 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUp | ( | Idx | index | ) | const [inline] |
Is state QUp-state (by index).
index | State index |
Definition at line 1539 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYcUp | ( | const std::string & | rName | ) | const [inline] |
Is state QYcUp-state (by name).
rName | State name |
Definition at line 1707 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYcUp | ( | Idx | index | ) | const [inline] |
Is state QYcUp-state (by index).
index | State index |
Definition at line 1701 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYP | ( | const std::string & | rName | ) | const [inline] |
Is state QYP-state (by name).
rName | State name |
Definition at line 1465 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYP | ( | Idx | index | ) | const [inline] |
Is state QYP-state (by index).
index | State index |
Definition at line 1459 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsU | ( | const std::string & | rName | ) | const [inline] |
Is event U-event? (by name).
rName | Event name |
Definition at line 1053 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsU | ( | Idx | index | ) | const [inline] |
Is event U-event? (by index).
index | Event index |
Definition at line 1047 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUc | ( | const std::string & | rName | ) | const [inline] |
Is event Uc-event (by name).
rName | Event name |
Definition at line 1321 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUc | ( | Idx | index | ) | const [inline] |
Is event Uc-event (by index).
index | Event index |
Definition at line 1315 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUp | ( | const std::string & | rName | ) | const [inline] |
Is event Up-event(by name).
rName | Event name |
Definition at line 1187 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUp | ( | Idx | index | ) | const [inline] |
Is event Up-event(by index).
index | Event index |
Definition at line 1181 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsY | ( | const std::string & | rName | ) | const [inline] |
Is event Y-event? (by name).
rName | Event name |
Definition at line 1041 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsY | ( | Idx | index | ) | const [inline] |
Is event Y-event? (by index).
index | Event index |
Definition at line 1035 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYc | ( | const std::string & | rName | ) | const [inline] |
Is event Yc-event (by name).
rName | Event name |
Definition at line 1309 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYc | ( | Idx | index | ) | const [inline] |
Is event Yc-event (by index).
index | Event index |
Definition at line 1303 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYp | ( | const std::string & | rName | ) | const [inline] |
Is event Yp-event(by name).
rName | Event name |
Definition at line 1175 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYp | ( | Idx | index | ) | const [inline] |
Is event Yp-event(by index).
index | Event index |
Definition at line 1169 of file hio_controller.h.
THioController< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::New | ( | void | ) | const [inline, virtual] |
Construct on heap.
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 1011 of file hio_controller.h.
THioController< GlobalAttr, StateAttr, EventAttr, TransAttr > faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewHioController | ( | void | ) | const [inline] |
Create empty HioController with same symboltable as this.
Definition at line 1026 of file hio_controller.h.
virtual THioController& faudes::THioController< 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 142 of file hio_controller.h.
virtual THioController& faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::operator= | ( | const THioController< 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 134 of file hio_controller.h.
EventSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::PEvents | ( | void | ) | const [inline] |
Get EventSet with P-events.
Definition at line 1375 of file hio_controller.h.
StateSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::QUcStates | ( | void | ) | const [inline] |
Get StateSet with QUc-states.
Definition at line 1633 of file hio_controller.h.
StateSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::QUpStates | ( | void | ) | const [inline] |
Get StateSet with QUp-states.
Definition at line 1551 of file hio_controller.h.
StateSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::QYcUpStates | ( | void | ) | const [inline] |
Get StateSet with QYcUp-states.
Definition at line 1713 of file hio_controller.h.
StateSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::QYPStates | ( | void | ) | const [inline] |
Get StateSet with QYP-states.
Definition at line 1471 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as Err-states.
rStates | StateSet |
Definition at line 1739 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | const std::string & | rName | ) | [inline] |
Mark state as Err-state (by name).
rName | State name |
Definition at line 1732 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | Idx | index | ) | [inline] |
Mark state as Err-state (by index).
index | State index |
Definition at line 1724 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUc | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as QUc-states.
rStates | StateSet |
Definition at line 1587 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUc | ( | const std::string & | rName | ) | [inline] |
Mark state as QUc-state (by name).
rName | State name |
Definition at line 1580 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUc | ( | Idx | index | ) | [inline] |
Mark event as QUc-state (by index).
index | State index |
Definition at line 1565 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUp | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as QUp-states.
rStates | StateSet |
Definition at line 1505 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUp | ( | const std::string & | rName | ) | [inline] |
Mark state as QUp-state (by name).
rName | State name |
Definition at line 1498 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUp | ( | Idx | index | ) | [inline] |
Mark event as QUp-state (by index).
index | State index |
Definition at line 1483 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYcUp | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as QYcUp-states.
rStates | StateSet |
Definition at line 1668 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYcUp | ( | const std::string & | rName | ) | [inline] |
Mark state as QYcUp-state (by name).
rName | State name |
Definition at line 1661 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYcUp | ( | Idx | index | ) | [inline] |
Mark event as QYcUp-state (by index).
index | State index |
Definition at line 1646 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYp | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as QYP-states.
rStates | StateSet |
Definition at line 1425 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYp | ( | const std::string & | rName | ) | [inline] |
Mark state as QYP-state (by name).
rName | State name |
Definition at line 1418 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYp | ( | Idx | index | ) | [inline] |
Mark state as QYP-state (by index).
index | State index |
Definition at line 1403 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUc | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events as Uc-events.
rEvents | EventSet |
Definition at line 1294 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUc | ( | const std::string & | rName | ) | [inline] |
Mark event as Uc-event (by name).
rName | Event name |
Definition at line 1287 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUc | ( | Idx | index | ) | [inline] |
Mark event as Uc-event (by index).
index | Event index |
Definition at line 1278 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUp | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events as Up-events.
rEvents | EventSet |
Definition at line 1160 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUp | ( | const std::string & | rName | ) | [inline] |
Mark event Up-event(by name).
rName | Event name |
Definition at line 1153 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUp | ( | Idx | index | ) | [inline] |
Mark event Up-event(by index).
index | Event index |
Definition at line 1144 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYc | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events as Yc-events.
rEvents | EventSet |
Definition at line 1269 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYc | ( | const std::string & | rName | ) | [inline] |
Mark event as Yc-event (by name).
rName | Event name |
Definition at line 1262 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYc | ( | Idx | index | ) | [inline] |
Mark event as Yc-event (by index).
index | Event index |
Definition at line 1253 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYp | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events as Yp-events.
rEvents | EventSet |
Definition at line 1135 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYp | ( | const std::string & | rName | ) | [inline] |
Mark event as Yp-event(by name).
rName | Event name |
Definition at line 1128 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYp | ( | Idx | index | ) | [inline] |
Mark event as Yp-event (by index).
index | Event index |
Definition at line 1119 of file hio_controller.h.
EventSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::UcEvents | ( | void | ) | const [inline] |
Get EventSet with Uc-events.
Definition at line 1338 of file hio_controller.h.
EventSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::UEvents | ( | void | ) | const [inline] |
Get EventSet with U-events.
Definition at line 1070 of file hio_controller.h.
virtual bool faudes::THioController< 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 958 of file hio_controller.h.
EventSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::UpEvents | ( | void | ) | const [inline] |
Get EventSet with Up-events.
Definition at line 1204 of file hio_controller.h.
EventSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::YcEvents | ( | void | ) | const [inline] |
Get EventSet with Yc-events.
Definition at line 1327 of file hio_controller.h.
EventSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::YEvents | ( | void | ) | const [inline] |
Get EventSet with Y-events.
Definition at line 1059 of file hio_controller.h.
EventSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::YpEvents | ( | void | ) | const [inline] |
Get EventSet with Yp-events.
Definition at line 1193 of file hio_controller.h.
libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen