| |
libFAUDES
Sections
Index
|
faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference |
Public Member Functions | |
THioEnvironment (void) | |
Creates an emtpy 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. | |
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 vGenerator &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. |
faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioEnvironment | ( | void | ) | [inline] |
Creates an emtpy HioEnvironment object.
faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioEnvironment | ( | const Generator & | rOtherGen | ) | [inline] |
HioEnvironment from a std Generator.
Copy constructor
rOtherGen |
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 |
faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioEnvironment | ( | const THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) | [inline] |
HioEnvironment from a HioEnvironment.
Copy constructor
rOtherGen |
faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioEnvironment | ( | const std::string & | rFileName | ) | [inline] |
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 >.
THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr > faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewHioEnvironment | ( | void | ) | const [inline] |
Create empty HioEnvironment with same symboltable as this.
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 |
virtual THioEnvironment& faudes::THioEnvironment< 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::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsYeEvent | ( | Idx | index | ) | [inline] |
Add an existing Ye-event to generator.
An entry in the global eventtable will be made.
index | Event index |
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 eventtable will be made if event is new.
rName | Name of the event to add |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUeEvent | ( | Idx | index | ) | [inline] |
Add an existing Ue-event to generator.
An entry in the global eventtable will be made.
index | Event index |
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 eventtable will be made if event is new.
rName | Name of the event to add |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYe | ( | Idx | index | ) | [inline] |
Mark event as Ye-event (by index).
index | Event index |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYe | ( | const std::string & | rName | ) | [inline] |
Mark event as Ye-event(by name).
rName | Event name |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYe | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events as Ye-events.
rEvents | EventSet |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUe | ( | Idx | index | ) | [inline] |
Mark event Ue-event(by index).
index | Event index |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUe | ( | const std::string & | rName | ) | [inline] |
Mark event Ue-event(by name).
rName | Event name |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUe | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events as Ue-events.
rEvents | EventSet |
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYe | ( | Idx | index | ) | const [inline] |
Is event Ye-event(by index).
index | Event index |
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYe | ( | const std::string & | rName | ) | const [inline] |
Is event Ye-event(by name).
rName | Event name |
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUe | ( | Idx | index | ) | const [inline] |
Is event Ue-event(by index).
index | Event index |
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUe | ( | const std::string & | rName | ) | const [inline] |
Is event Ue-event(by name).
rName | Event name |
EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::YeEvents | ( | void | ) | const [inline] |
Get EventSet with Ye-events.
EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::UeEvents | ( | void | ) | const [inline] |
Get EventSet with Ue-events.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsYlEvent | ( | Idx | index | ) | [inline] |
Add an existing Yl-event to generator.
An entry in the global eventtable will be made.
index | Event index |
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 eventtable will be made if event is new.
rName | Name of the event to add |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUlEvent | ( | Idx | index | ) | [inline] |
Add an existing Ul-event to generator.
An entry in the global eventtable will be made.
index | Event index |
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 eventtable will be made if event is new.
rName | Name of the event to add |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYl | ( | Idx | index | ) | [inline] |
Mark event as Yl-event (by index).
index | Event index |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYl | ( | const std::string & | rName | ) | [inline] |
Mark event as Yl-event (by name).
rName | Event name |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYl | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events as Yl-events.
rEvents | EventSet |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUl | ( | Idx | index | ) | [inline] |
Mark event as Ul-event (by index).
index | Event index |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUl | ( | const std::string & | rName | ) | [inline] |
Mark event as Ul-event (by name).
rName | Event name |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUl | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events as Ul-events.
rEvents | EventSet |
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYl | ( | Idx | index | ) | const [inline] |
Is event Yl-event (by index).
index | Event index |
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYl | ( | const std::string & | rName | ) | const [inline] |
Is event Yl-event (by name).
rName | Event name |
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUl | ( | Idx | index | ) | const [inline] |
Is event Ul-event (by index).
index | Event index |
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUl | ( | const std::string & | rName | ) | const [inline] |
Is event Ul-event (by name).
rName | Event name |
EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::YlEvents | ( | void | ) | const [inline] |
Get EventSet with Yl-events.
EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::UlEvents | ( | void | ) | const [inline] |
Get EventSet with Ul-events.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsY | ( | Idx | index | ) | const [inline] |
Is event Y-event? (by index).
index | Event index |
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsY | ( | const std::string & | rName | ) | const [inline] |
Is event Y-event? (by name).
rName | Event name |
EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::YEvents | ( | void | ) | const [inline] |
Get EventSet with Y-events.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsU | ( | Idx | index | ) | const [inline] |
Is event U-event? (by index).
index | Event index |
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsU | ( | const std::string & | rName | ) | const [inline] |
Is event U-event? (by name).
rName | Event name |
EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::UEvents | ( | void | ) | const [inline] |
Get EventSet with U-events.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsE | ( | Idx | index | ) | const [inline] |
Is event P-event? (by index).
index | Event index |
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsE | ( | const std::string & | rName | ) | const [inline] |
Is event P-event? (by name).
rName | Event name |
EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::EEvents | ( | void | ) | const [inline] |
Get EventSet with P-events.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsL | ( | Idx | index | ) | const [inline] |
Is event E-event? (by index).
index | Event index |
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsL | ( | const std::string & | rName | ) | const [inline] |
Is event E-event? (by name).
rName | Event name |
EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::LEvents | ( | void | ) | const [inline] |
Get EventSet with E-events.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYe | ( | Idx | index | ) | [inline] |
Mark event as QYe-state (by index).
index | State index |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYe | ( | const std::string & | rName | ) | [inline] |
Mark state as QYe-state (by name).
rName | State name |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYe | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as QYe-states.
rStates | StateSet |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYe | ( | Idx | index | ) | [inline] |
Mark state as NOT QYe-state (by index).
index | State index |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYe | ( | const std::string & | rName | ) | [inline] |
Mark state as NOT QYe-state (by name).
rName | State name |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYe | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as NOT QYe-states (by index).
rStates | StateSet |
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYe | ( | Idx | index | ) | const [inline] |
Is state QYe-state (by index).
index | State index |
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYe | ( | const std::string & | rName | ) | const [inline] |
Is state QYe-state (by name).
rName | State name |
StateSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::QYeStates | ( | void | ) | const [inline] |
Get StateSet with QYe-states.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUe | ( | Idx | index | ) | [inline] |
Mark event as QUe-state (by index).
index | State index |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUe | ( | const std::string & | rName | ) | [inline] |
Mark state as QUe-state (by name).
rName | State name |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUe | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as QUe-states.
rStates | StateSet |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUe | ( | Idx | index | ) | [inline] |
Mark state as NOT QUe-state (by index).
index | State index |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUe | ( | const std::string & | rName | ) | [inline] |
Mark state as NOT QUe-state (by name).
rName | State name |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUe | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as NOT QUe-states (by index).
rStates | StateSet |
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUe | ( | Idx | index | ) | const [inline] |
Is state QUe-state (by index).
index | State index |
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUe | ( | const std::string & | rName | ) | const [inline] |
Is state QUe-state (by name).
rName | State name |
StateSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::QUeStates | ( | void | ) | const [inline] |
Get StateSet with QUe-states.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUl | ( | Idx | index | ) | [inline] |
Mark event as QUl-state (by index).
index | State index |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUl | ( | const std::string & | rName | ) | [inline] |
Mark state as QUl-state (by name).
rName | State name |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUl | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as QUl-states.
rStates | StateSet |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUl | ( | Idx | index | ) | [inline] |
Mark state as NOT QUl-state (by index).
index | State index |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUl | ( | const std::string & | rName | ) | [inline] |
Mark state as NOT QUl-state (by name).
rName | State name |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUl | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as NOT QUl-states (by index).
rStates | StateSet |
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUl | ( | Idx | index | ) | const [inline] |
Is state QUl-state (by index).
index | State index |
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUl | ( | const std::string & | rName | ) | const [inline] |
Is state QUl-state (by name).
rName | State name |
StateSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::QUlStates | ( | void | ) | const [inline] |
Get StateSet with QUl-states.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYlUe | ( | Idx | index | ) | [inline] |
Mark event as QYlUe-state (by index).
index | State index |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYlUe | ( | const std::string & | rName | ) | [inline] |
Mark state as QYlUe-state (by name).
rName | State name |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYlUe | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as QYlUe-states.
rStates | StateSet |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYlUe | ( | Idx | index | ) | [inline] |
Mark state as NOT QYlUe-state (by index).
index | State index |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYlUe | ( | const std::string & | rName | ) | [inline] |
Mark state as NOT QYlUe-state (by name).
rName | State name |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYlUe | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as NOT QYlUe-states (by index).
rStates | StateSet |
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYlUe | ( | Idx | index | ) | const [inline] |
Is state QYlUe-state (by index).
index | State index |
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYlUe | ( | const std::string & | rName | ) | const [inline] |
Is state QYlUe-state (by name).
rName | State name |
StateSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::QYlUeStates | ( | void | ) | const [inline] |
Get StateSet with QYlUe-states.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | Idx | index | ) | [inline] |
Mark state as Err-state (by index).
index | State index |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | const std::string & | rName | ) | [inline] |
Mark state as Err-state (by name).
rName | State name |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as Err-states.
rStates | StateSet |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | Idx | index | ) | [inline] |
Mark state as NOT Err-state (by index).
index | State index |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | const std::string & | rName | ) | [inline] |
Mark state as NOT Err-state (by name).
rName | State name |
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as NOT Err-states (by index).
rStates | StateSet |
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsErr | ( | Idx | index | ) | const [inline] |
Is state Err-state (by index).
index | State index |
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsErr | ( | const std::string & | rName | ) | const [inline] |
Is state Err-state (by name).
rName | State name |
StateSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ErrStates | ( | void | ) | const [inline] |
Get StateSet with Err-states.
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.
libFAUDES 2.13a c++ source docu by doxygen 1.5.6