| |
libFAUDES
Sections
Index
|
faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference |
Public Member Functions | |
THioController (void) | |
Creates an emtpy 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. | |
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 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 | 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. |
faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioController | ( | void | ) | [inline] |
Creates an emtpy HioController object.
faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioController | ( | const Generator & | rOtherGen | ) | [inline] |
HioController from a std Generator.
Copy constructor
rOtherGen |
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 |
faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioController | ( | const THioController< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) | [inline] |
HioController from a HioController.
Copy constructor
rOtherGen |
faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioController | ( | const std::string & | rFileName | ) | [inline] |
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 >.
THioController< GlobalAttr, StateAttr, EventAttr, TransAttr > faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewHioController | ( | void | ) | const [inline] |
Create empty HioController with same symboltable as this.
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 |
virtual THioController& faudes::THioController< 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 >.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsYpEvent | ( | Idx | index | ) | [inline] |
Add an existing Yp-event to generator.
An entry in the global eventtable will be made.
index | Event index |
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 eventtable will be made if event is new.
rName | Name of the event to add |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUpEvent | ( | Idx | index | ) | [inline] |
Add an existing Up-event to generator.
An entry in the global eventtable will be made.
index | Event index |
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 eventtable will be made if event is new.
rName | Name of the event to add |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYp | ( | Idx | index | ) | [inline] |
Mark event as Yp-event (by index).
index | Event index |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYp | ( | const std::string & | rName | ) | [inline] |
Mark event as Yp-event(by name).
rName | Event name |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYp | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events as Yp-events.
rEvents | EventSet |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUp | ( | Idx | index | ) | [inline] |
Mark event Up-event(by index).
index | Event index |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUp | ( | const std::string & | rName | ) | [inline] |
Mark event Up-event(by name).
rName | Event name |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUp | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events as Up-events.
rEvents | EventSet |
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYp | ( | Idx | index | ) | const [inline] |
Is event Yp-event(by index).
index | Event index |
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYp | ( | const std::string & | rName | ) | const [inline] |
Is event Yp-event(by name).
rName | Event name |
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUp | ( | Idx | index | ) | const [inline] |
Is event Up-event(by index).
index | Event index |
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUp | ( | const std::string & | rName | ) | const [inline] |
Is event Up-event(by name).
rName | Event name |
EventSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::YpEvents | ( | void | ) | const [inline] |
Get EventSet with Yp-events.
EventSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::UpEvents | ( | void | ) | const [inline] |
Get EventSet with Up-events.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsYcEvent | ( | Idx | index | ) | [inline] |
Add an existing Yc-event to generator.
An entry in the global eventtable will be made.
index | Event index |
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 eventtable will be made if event is new.
rName | Name of the event to add |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUcEvent | ( | Idx | index | ) | [inline] |
Add an existing Uc-event to generator.
An entry in the global eventtable will be made.
index | Event index |
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 eventtable will be made if event is new.
rName | Name of the event to add |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYc | ( | Idx | index | ) | [inline] |
Mark event as Yc-event (by index).
index | Event index |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYc | ( | const std::string & | rName | ) | [inline] |
Mark event as Yc-event (by name).
rName | Event name |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYc | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events as Yc-events.
rEvents | EventSet |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUc | ( | Idx | index | ) | [inline] |
Mark event as Uc-event (by index).
index | Event index |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUc | ( | const std::string & | rName | ) | [inline] |
Mark event as Uc-event (by name).
rName | Event name |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUc | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events as Uc-events.
rEvents | EventSet |
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYc | ( | Idx | index | ) | const [inline] |
Is event Yc-event (by index).
index | Event index |
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYc | ( | const std::string & | rName | ) | const [inline] |
Is event Yc-event (by name).
rName | Event name |
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUc | ( | Idx | index | ) | const [inline] |
Is event Uc-event (by index).
index | Event index |
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUc | ( | const std::string & | rName | ) | const [inline] |
Is event Uc-event (by name).
rName | Event name |
EventSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::YcEvents | ( | void | ) | const [inline] |
Get EventSet with Yc-events.
EventSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::UcEvents | ( | void | ) | const [inline] |
Get EventSet with Uc-events.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsY | ( | Idx | index | ) | const [inline] |
Is event Y-event? (by index).
index | Event index |
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsY | ( | const std::string & | rName | ) | const [inline] |
Is event Y-event? (by name).
rName | Event name |
EventSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::YEvents | ( | void | ) | const [inline] |
Get EventSet with Y-events.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsU | ( | Idx | index | ) | const [inline] |
Is event U-event? (by index).
index | Event index |
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsU | ( | const std::string & | rName | ) | const [inline] |
Is event U-event? (by name).
rName | Event name |
EventSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::UEvents | ( | void | ) | const [inline] |
Get EventSet with U-events.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsP | ( | Idx | index | ) | const [inline] |
Is event P-event? (by index).
index | Event index |
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsP | ( | const std::string & | rName | ) | const [inline] |
Is event P-event? (by name).
rName | Event name |
EventSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::PEvents | ( | void | ) | const [inline] |
Get EventSet with P-events.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsC | ( | Idx | index | ) | const [inline] |
Is event E-event? (by index).
index | Event index |
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsC | ( | const std::string & | rName | ) | const [inline] |
Is event E-event? (by name).
rName | Event name |
EventSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::CEvents | ( | void | ) | const [inline] |
Get EventSet with E-events.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYp | ( | Idx | index | ) | [inline] |
Mark state as QYP-state (by index).
index | State index |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYp | ( | const std::string & | rName | ) | [inline] |
Mark state as QYP-state (by name).
rName | State name |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYp | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as QYP-states.
rStates | StateSet |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYP | ( | Idx | index | ) | [inline] |
Mark state as NOT QYP-state (by index).
index | State index |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYP | ( | const std::string & | rName | ) | [inline] |
Mark state as NOT QYP-state (by name).
rName | State name |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYP | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as NOT QYP-states (by index).
rStates | StateSet |
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYP | ( | Idx | index | ) | const [inline] |
Is state QYP-state (by index).
index | State index |
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYP | ( | const std::string & | rName | ) | const [inline] |
Is state QYP-state (by name).
rName | State name |
StateSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::QYPStates | ( | void | ) | const [inline] |
Get StateSet with QYP-states.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUp | ( | Idx | index | ) | [inline] |
Mark event as QUp-state (by index).
index | State index |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUp | ( | const std::string & | rName | ) | [inline] |
Mark state as QUp-state (by name).
rName | State name |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUp | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as QUp-states.
rStates | StateSet |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUp | ( | Idx | index | ) | [inline] |
Mark state as NOT QUp-state (by index).
index | State index |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUp | ( | const std::string & | rName | ) | [inline] |
Mark state as NOT QUp-state (by name).
rName | State name |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUp | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as NOT QUp-states (by index).
rStates | StateSet |
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUp | ( | Idx | index | ) | const [inline] |
Is state QUp-state (by index).
index | State index |
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUp | ( | const std::string & | rName | ) | const [inline] |
Is state QUp-state (by name).
rName | State name |
StateSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::QUpStates | ( | void | ) | const [inline] |
Get StateSet with QUp-states.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUc | ( | Idx | index | ) | [inline] |
Mark event as QUc-state (by index).
index | State index |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUc | ( | const std::string & | rName | ) | [inline] |
Mark state as QUc-state (by name).
rName | State name |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUc | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as QUc-states.
rStates | StateSet |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUc | ( | Idx | index | ) | [inline] |
Mark state as NOT QUc-state (by index).
index | State index |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUc | ( | const std::string & | rName | ) | [inline] |
Mark state as NOT QUc-state (by name).
rName | State name |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUc | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as NOT QUc-states (by index).
rStates | StateSet |
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUc | ( | Idx | index | ) | const [inline] |
Is state QUc-state (by index).
index | State index |
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUc | ( | const std::string & | rName | ) | const [inline] |
Is state QUc-state (by name).
rName | State name |
StateSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::QUcStates | ( | void | ) | const [inline] |
Get StateSet with QUc-states.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYcUp | ( | Idx | index | ) | [inline] |
Mark event as QYcUp-state (by index).
index | State index |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYcUp | ( | const std::string & | rName | ) | [inline] |
Mark state as QYcUp-state (by name).
rName | State name |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYcUp | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as QYcUp-states.
rStates | StateSet |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYcUp | ( | Idx | index | ) | [inline] |
Mark state as NOT QYcUp-state (by index).
index | State index |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYcUp | ( | const std::string & | rName | ) | [inline] |
Mark state as NOT QYcUp-state (by name).
rName | State name |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYcUp | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as NOT QYcUp-states (by index).
rStates | StateSet |
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYcUp | ( | Idx | index | ) | const [inline] |
Is state QYcUp-state (by index).
index | State index |
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYcUp | ( | const std::string & | rName | ) | const [inline] |
Is state QYcUp-state (by name).
rName | State name |
StateSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::QYcUpStates | ( | void | ) | const [inline] |
Get StateSet with QYcUp-states.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | Idx | index | ) | [inline] |
Mark state as Err-state (by index).
index | State index |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | const std::string & | rName | ) | [inline] |
Mark state as Err-state (by name).
rName | State name |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as Err-states.
rStates | StateSet |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | Idx | index | ) | [inline] |
Mark state as NOT Err-state (by index).
index | State index |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | const std::string & | rName | ) | [inline] |
Mark state as NOT Err-state (by name).
rName | State name |
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as NOT Err-states (by index).
rStates | StateSet |
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsErr | ( | Idx | index | ) | const [inline] |
Is state Err-state (by index).
index | State index |
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsErr | ( | const std::string & | rName | ) | const [inline] |
Is state Err-state (by name).
rName | State name |
StateSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ErrStates | ( | void | ) | const [inline] |
Get StateSet with Err-states.
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.
libFAUDES 2.13a c++ source docu by doxygen 1.5.6