| |
libFAUDES
Sections
Index
|
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference |
Public Member Functions | |
TcGenerator (void) | |
Creates an emtpy cGenerator object. | |
TcGenerator (const vGenerator &rOtherGen) | |
cGenerator from a std Generator. | |
TcGenerator (const TcGenerator &rOtherGen) | |
cGenerator from a cGenerator. | |
TcGenerator (const std::string &rFileName) | |
construct a cGenerator from file | |
TcGenerator * | New (void) const |
Construct on heap. | |
TcGenerator * | Copy (void) const |
Construct copy on heap. | |
TcGenerator | NewCGen (void) const |
Construct on stack. | |
virtual TcGenerator & | operator= (const TcGenerator &rOtherGen) |
Assignment operator (uses copy ) Note: you must reimplement this operator in derived classes in order to handle internal pointers correctly. | |
virtual TcGenerator & | operator= (const vGenerator &rOtherGen) |
Assignment operator (uses copy ). | |
void | InsControllableEvent (Idx index) |
Add an existing controllable event to generator. | |
Idx | InsControllableEvent (const std::string &rName) |
Add new named controllable event to generator. | |
void | InsUncontrollableEvent (Idx index) |
Add an existing uncontrollable event to generator. | |
Idx | InsUncontrollableEvent (const std::string &rName) |
Add new named uncontrollable event to generator. | |
void | SetControllable (Idx index) |
Mark event controllable (by index). | |
void | SetControllable (const std::string &rName) |
Mark event controllable (by name). | |
void | SetControllable (const EventSet &rEvents) |
Mark set of events controllable (by index). | |
void | ClrControllable (Idx index) |
Mark event uncontrollable (by index). | |
void | ClrControllable (const std::string &rName) |
Mark event uncontrollable (by name). | |
void | ClrControllable (const EventSet &rEvents) |
Mark set of events uncontrollable (by index). | |
bool | Controllable (Idx index) const |
Is event controllable (by index). | |
bool | Controllable (const std::string &rName) const |
Is event controllable (by name). | |
EventSet | ControllableEvents (void) const |
Get EventSet with controllable events. | |
EventSet | UncontrollableEvents (void) const |
Get EventSet with uncontrollable events. | |
void | InsObservableEvent (Idx index) |
Add an existing observable event to generator. | |
Idx | InsObservableEvent (const std::string &rName) |
Add new named observable event to generator. | |
void | InsUnobservableEvent (Idx index) |
Add an existing unobservable event to generator. | |
Idx | InsUnobservableEvent (const std::string &rName) |
Add new named unobservable event to generator. | |
void | SetObservable (Idx index) |
Mark event observable (by index). | |
void | SetObservable (const std::string &rName) |
Mark event observable (by name). | |
void | SetObservable (const EventSet &rEvents) |
Mark set of events observable. | |
void | ClrObservable (Idx index) |
Mark event unobservable (by index). | |
void | ClrObservable (const std::string &rName) |
Mark event unobservable (by name). | |
void | ClrObservable (const EventSet &rEvents) |
Mark set of events unobservable. | |
bool | Observable (Idx index) const |
Is event observable (by index). | |
bool | Observable (const std::string &rName) const |
Is event observable (by name). | |
EventSet | ObservableEvents (void) const |
Get EventSet with observable events. | |
EventSet | UnobservableEvents (void) const |
Get EventSet with unobservable events. | |
void | InsForcibleEvent (Idx index) |
Add an existing forcible event to generator. | |
Idx | InsForcibleEvent (const std::string &rName) |
Add new named forcible event to generator. | |
void | InsUnforcibleEvent (Idx index) |
Add an existing unforcible event to generator. | |
Idx | InsUnforcibleEvent (const std::string &rName) |
Add new named unforcible event to generator. | |
void | SetForcible (Idx index) |
Mark event forcible (by index). | |
void | SetForcible (const std::string &rName) |
Mark event forcible (by name). | |
void | SetForcible (const EventSet &rEvents) |
Mark set of events forcible. | |
void | ClrForcible (Idx index) |
Mark event unforcible (by index). | |
void | ClrForcible (const std::string &rName) |
Mark event unforcible (by name). | |
void | ClrForcible (const EventSet &rEvents) |
Mark set of events unforcible. | |
bool | Forcible (Idx index) const |
Is event forcible (by index). | |
bool | Forcible (const std::string &rName) const |
Is event forcible (by name). | |
EventSet | ForcibleEvents (void) const |
Get EventSet with forcible events. | |
EventSet | UnforcibleEvents (void) const |
Get EventSet with unforcible events. | |
void | InsHighlevelEvent (Idx index) |
Add an existing abstraction event to generator. | |
Idx | InsHighlevelEvent (const std::string &rName) |
Add new named abstraction event to generator. | |
void | InsLowlevelEvent (Idx index) |
Add an existing low-level event to generator. | |
Idx | InsLowlevelEvent (const std::string &rName) |
Add new named low-level event to generator. | |
void | SetHighlevel (Idx index) |
Mark event as highlevel event (by index). | |
void | SetHighlevel (const std::string &rName) |
Mark event as highlevel event (by name). | |
void | SetHighlevel (const EventSet &rEvents) |
Mark set of events as high-level events. | |
void | SetLowlevel (Idx index) |
Mark event as low-level event (by index). | |
void | SetLowlevel (const std::string &rName) |
Mark event as low-level event (by name). | |
void | SetLowlevel (const EventSet &rEvents) |
Mark set of events as low-level events. | |
bool | Highlevel (Idx index) const |
Test for high-level event (by index). | |
bool | Highlevel (const std::string &rName) const |
Test for high-level event (by name). | |
bool | Lowlevel (Idx index) const |
Test for low-level event (by index). | |
bool | Lowlevel (const std::string &rName) const |
Test for low-level event (by name). | |
EventSet | HighlevelEvents (void) const |
Get EventSet of all high-level events. | |
EventSet | LowlevelEvents (void) const |
Get EventSet of all low-level events. |
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TcGenerator | ( | void | ) | [inline] |
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TcGenerator | ( | const vGenerator & | rOtherGen | ) | [inline] |
cGenerator from a std Generator.
Copy constructor
rOtherGen |
Definition at line 897 of file cgenerator.h.
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TcGenerator | ( | const TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) | [inline] |
cGenerator from a cGenerator.
Copy constructor
rOtherGen |
Definition at line 892 of file cgenerator.h.
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TcGenerator | ( | const std::string & | rFileName | ) | [inline] |
construct a cGenerator from file
rFileName | Filename |
Definition at line 902 of file cgenerator.h.
TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::New | ( | void | ) | const [inline, virtual] |
Construct on heap.
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Reimplemented in faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TtGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >.
Definition at line 908 of file cgenerator.h.
TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Copy | ( | void | ) | const [inline, virtual] |
Construct copy on heap.
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Reimplemented in faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TtGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >.
Definition at line 918 of file cgenerator.h.
TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewCGen | ( | void | ) | const [inline] |
virtual TcGenerator& faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::operator= | ( | const TcGenerator< 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 303 of file cgenerator.h.
virtual TcGenerator& faudes::TcGenerator< 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 >.
Reimplemented in faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TtGenerator< faudes::AttributeTimedGlobal, faudes::AttributeTimedState, faudes::AttributeCFlags, faudes::AttributeTimedTrans >.
Definition at line 311 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsControllableEvent | ( | Idx | index | ) | [inline] |
Add an existing controllable event to generator.
An entry in the global eventtable will be made.
index | Event index |
Definition at line 946 of file cgenerator.h.
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsControllableEvent | ( | const std::string & | rName | ) | [inline] |
Add new named controllable event to generator.
An entry in the global eventtable will be made if event is new.
rName | Name of the event to add |
Definition at line 954 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUncontrollableEvent | ( | Idx | index | ) | [inline] |
Add an existing uncontrollable event to generator.
An entry in the global eventtable will be made.
index | Event index |
Definition at line 962 of file cgenerator.h.
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUncontrollableEvent | ( | const std::string & | rName | ) | [inline] |
Add new named uncontrollable event to generator.
An entry in the global eventtable will be made if event is new.
rName | Name of the event to add |
Definition at line 970 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetControllable | ( | Idx | index | ) | [inline] |
Mark event controllable (by index).
index | Event index |
Definition at line 978 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetControllable | ( | const std::string & | rName | ) | [inline] |
Mark event controllable (by name).
rName | Event name |
Definition at line 986 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetControllable | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events controllable (by index).
rEvents | EventSet |
Definition at line 993 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrControllable | ( | Idx | index | ) | [inline] |
Mark event uncontrollable (by index).
index | Event index |
Definition at line 1002 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrControllable | ( | const std::string & | rName | ) | [inline] |
Mark event uncontrollable (by name).
rName | Event name |
Definition at line 1010 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrControllable | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events uncontrollable (by index).
rEvents | EventSet |
Definition at line 1017 of file cgenerator.h.
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Controllable | ( | Idx | index | ) | const [inline] |
Is event controllable (by index).
index | Event index |
Definition at line 934 of file cgenerator.h.
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Controllable | ( | const std::string & | rName | ) | const [inline] |
Is event controllable (by name).
rName | Event name |
Definition at line 940 of file cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ControllableEvents | ( | void | ) | const [inline] |
Get EventSet with controllable events.
Definition at line 1026 of file cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UncontrollableEvents | ( | void | ) | const [inline] |
Get EventSet with uncontrollable events.
Definition at line 1038 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsObservableEvent | ( | Idx | index | ) | [inline] |
Add an existing observable event to generator.
An entry in the global eventtable will be made.
index | Event index |
Definition at line 1061 of file cgenerator.h.
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsObservableEvent | ( | const std::string & | rName | ) | [inline] |
Add new named observable event to generator.
An entry in the global eventtable will be made if event is new.
rName | Name of the event to add |
Definition at line 1069 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUnobservableEvent | ( | Idx | index | ) | [inline] |
Add an existing unobservable event to generator.
An entry in the global eventtable will be made.
index | Event index |
Definition at line 1077 of file cgenerator.h.
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUnobservableEvent | ( | const std::string & | rName | ) | [inline] |
Add new named unobservable event to generator.
An entry in the global eventtable will be made if event is new.
rName | Name of the event to add |
Definition at line 1085 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetObservable | ( | Idx | index | ) | [inline] |
Mark event observable (by index).
index | Event index |
Definition at line 1093 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetObservable | ( | const std::string & | rName | ) | [inline] |
Mark event observable (by name).
rName | Event name |
Definition at line 1101 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetObservable | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events observable.
rEvents | EventSet |
Definition at line 1108 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrObservable | ( | Idx | index | ) | [inline] |
Mark event unobservable (by index).
index | Event index |
Definition at line 1117 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrObservable | ( | const std::string & | rName | ) | [inline] |
Mark event unobservable (by name).
rName | Event name |
Definition at line 1125 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrObservable | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events unobservable.
rEvents | EventSet |
Definition at line 1132 of file cgenerator.h.
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Observable | ( | Idx | index | ) | const [inline] |
Is event observable (by index).
index | Event index |
Definition at line 1049 of file cgenerator.h.
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Observable | ( | const std::string & | rName | ) | const [inline] |
Is event observable (by name).
rName | Event name |
Definition at line 1055 of file cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ObservableEvents | ( | void | ) | const [inline] |
Get EventSet with observable events.
Definition at line 1141 of file cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UnobservableEvents | ( | void | ) | const [inline] |
Get EventSet with unobservable events.
Definition at line 1153 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsForcibleEvent | ( | Idx | index | ) | [inline] |
Add an existing forcible event to generator.
An entry in the global eventtable will be made.
index | Event index |
Definition at line 1177 of file cgenerator.h.
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsForcibleEvent | ( | const std::string & | rName | ) | [inline] |
Add new named forcible event to generator.
An entry in the global eventtable will be made if event is new.
rName | Name of the event to add |
Definition at line 1185 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUnforcibleEvent | ( | Idx | index | ) | [inline] |
Add an existing unforcible event to generator.
An entry in the global eventtable will be made.
index | Event index |
Definition at line 1193 of file cgenerator.h.
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUnforcibleEvent | ( | const std::string & | rName | ) | [inline] |
Add new named unforcible event to generator.
An entry in the global eventtable will be made if event is new.
rName | Name of the event to add |
Definition at line 1201 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetForcible | ( | Idx | index | ) | [inline] |
Mark event forcible (by index).
index | Event index |
Definition at line 1209 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetForcible | ( | const std::string & | rName | ) | [inline] |
Mark event forcible (by name).
rName | Event name |
Definition at line 1217 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetForcible | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events forcible.
rEvents | EventSet |
Definition at line 1224 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrForcible | ( | Idx | index | ) | [inline] |
Mark event unforcible (by index).
index | Event index |
Definition at line 1233 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrForcible | ( | const std::string & | rName | ) | [inline] |
Mark event unforcible (by name).
rName | Event name |
Definition at line 1241 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrForcible | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events unforcible.
rEvents | EventSet |
Definition at line 1248 of file cgenerator.h.
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Forcible | ( | Idx | index | ) | const [inline] |
Is event forcible (by index).
index | Event index |
Definition at line 1165 of file cgenerator.h.
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Forcible | ( | const std::string & | rName | ) | const [inline] |
Is event forcible (by name).
rName | Event name |
Definition at line 1171 of file cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ForcibleEvents | ( | void | ) | const [inline] |
Get EventSet with forcible events.
Definition at line 1257 of file cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UnforcibleEvents | ( | void | ) | const [inline] |
Get EventSet with unforcible events.
Definition at line 1269 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsHighlevelEvent | ( | Idx | index | ) | [inline] |
Add an existing abstraction event to generator.
An entry in the global eventtable will be made.
index | Event index |
Definition at line 1305 of file cgenerator.h.
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsHighlevelEvent | ( | const std::string & | rName | ) | [inline] |
Add new named abstraction event to generator.
An entry in the global eventtable will be made if event is new.
rName | Name of the event to add |
Definition at line 1313 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsLowlevelEvent | ( | Idx | index | ) | [inline] |
Add an existing low-level event to generator.
An entry in the global eventtable will be made.
index | Event index |
Definition at line 1321 of file cgenerator.h.
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsLowlevelEvent | ( | const std::string & | rName | ) | [inline] |
Add new named low-level event to generator.
An entry in the global eventtable will be made if event is new.
rName | Name of the event to add |
Definition at line 1329 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetHighlevel | ( | Idx | index | ) | [inline] |
Mark event as highlevel event (by index).
index | Event index |
Definition at line 1337 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetHighlevel | ( | const std::string & | rName | ) | [inline] |
Mark event as highlevel event (by name).
rName | Event name |
Definition at line 1345 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetHighlevel | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events as high-level events.
rEvents | EventSet |
Definition at line 1352 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetLowlevel | ( | Idx | index | ) | [inline] |
Mark event as low-level event (by index).
index | Event index |
Definition at line 1361 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetLowlevel | ( | const std::string & | rName | ) | [inline] |
Mark event as low-level event (by name).
rName | Event name |
Definition at line 1369 of file cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetLowlevel | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events as low-level events.
rEvents | EventSet |
Definition at line 1376 of file cgenerator.h.
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Highlevel | ( | Idx | index | ) | const [inline] |
Test for high-level event (by index).
index | Event index |
Definition at line 1281 of file cgenerator.h.
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Highlevel | ( | const std::string & | rName | ) | const [inline] |
Test for high-level event (by name).
rName | Event name |
Definition at line 1287 of file cgenerator.h.
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Lowlevel | ( | Idx | index | ) | const [inline] |
Test for low-level event (by index).
index | Event index |
Definition at line 1293 of file cgenerator.h.
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Lowlevel | ( | const std::string & | rName | ) | const [inline] |
Test for low-level event (by name).
rName | Event name |
Definition at line 1299 of file cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::HighlevelEvents | ( | void | ) | const [inline] |
Get EventSet of all high-level events.
Definition at line 1385 of file cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::LowlevelEvents | ( | void | ) | const [inline] |
Get EventSet of all low-level events.
Definition at line 1397 of file cgenerator.h.
libFAUDES 2.14g --- 2009-12-3 --- c++ source docu by doxygen 1.5.6