faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference
|
Public Member Functions | |
TcGenerator (void) | |
Creates an emtpy System object. | |
TcGenerator (const vGenerator &rOtherGen) | |
System from a std Generator. | |
TcGenerator (const TcGenerator &rOtherGen) | |
System from a System. | |
TcGenerator (const std::string &rFileName) | |
construct a System from file | |
TcGenerator * | New (void) const |
Construct on heap. | |
TcGenerator * | Copy (void) const |
Construct copy on heap. | |
virtual const Type * | Cast (const Type *pOther) const |
Type test. | |
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. |
Compatibility: pre 2.20b used cEventSet as C++ class name.
Generator with controllability attributes.
The TcGenerator is a variant of the TaGenerator to add an interface for events with controllabilty attributes, ie an event may be controllable, observable or forcible.
Technically, the construct is based on the specialized attribute class faudes::AttributeCFlags that provides attributes with semantics for controllability properties. The TcGenerator expects an event attribute template parameter with the minimum interface defined in AttribueCFlags. Thus, you can add further semantics by deriving a class AttributeCFlagsAndMore from AttribueeCFlags and use this as event attribute parameter for TcGenerator. To model a plain finite state machine plus controllability properties, use TcGenerator with AttributeCFlags for the event attribute parameter and AttributeVoid for the other parameters. For convenience, this has been typedef-ed as System.
Definition at line 273 of file cfl_cgenerator.h.
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TcGenerator | ( | void | ) | [inline] |
Creates an emtpy System object.
Definition at line 941 of file cfl_cgenerator.h.
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TcGenerator | ( | const vGenerator & | rOtherGen | ) | [inline] |
System from a std Generator.
Copy constructor
rOtherGen |
Definition at line 951 of file cfl_cgenerator.h.
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TcGenerator | ( | const TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) | [inline] |
System from a System.
Copy constructor
rOtherGen |
Definition at line 946 of file cfl_cgenerator.h.
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TcGenerator | ( | const std::string & | rFileName | ) | [inline] |
construct a System from file
rFileName | Filename |
Definition at line 956 of file cfl_cgenerator.h.
virtual const Type* faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Cast | ( | const Type * | pOther | ) | const [inline, virtual] |
Type test.
Uses C++ dynamic cast to test whether the specified object casts to a System.
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Reimplemented in faudes::TpdGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 329 of file cfl_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 1079 of file cfl_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 1072 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrControllable | ( | Idx | index | ) | [inline] |
Mark event uncontrollable (by index).
index | Event index |
Definition at line 1064 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrForcible | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events unforcible.
rEvents | EventSet |
Definition at line 1310 of file cfl_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 1303 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrForcible | ( | Idx | index | ) | [inline] |
Mark event unforcible (by index).
index | Event index |
Definition at line 1295 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrObservable | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events unobservable.
rEvents | EventSet |
Definition at line 1194 of file cfl_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 1187 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrObservable | ( | Idx | index | ) | [inline] |
Mark event unobservable (by index).
index | Event index |
Definition at line 1179 of file cfl_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 1002 of file cfl_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 996 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ControllableEvents | ( | void | ) | const [inline] |
Get EventSet with controllable events.
Definition at line 1088 of file cfl_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::TpdGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 973 of file cfl_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 1233 of file cfl_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 1227 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ForcibleEvents | ( | void | ) | const [inline] |
Get EventSet with forcible events.
Definition at line 1319 of file cfl_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 1349 of file cfl_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 1343 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::HighlevelEvents | ( | void | ) | const [inline] |
Get EventSet of all high-level events.
Definition at line 1447 of file cfl_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 1016 of file cfl_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 1008 of file cfl_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 1247 of file cfl_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 1239 of file cfl_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 1375 of file cfl_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 1367 of file cfl_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 1391 of file cfl_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 1383 of file cfl_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 1131 of file cfl_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 1123 of file cfl_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 1032 of file cfl_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 1024 of file cfl_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 1263 of file cfl_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 1255 of file cfl_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 1147 of file cfl_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 1139 of file cfl_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 1361 of file cfl_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 1355 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::LowlevelEvents | ( | void | ) | const [inline] |
Get EventSet of all low-level events.
Definition at line 1459 of file cfl_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::TpdGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 962 of file cfl_cgenerator.h.
TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewCGen | ( | void | ) | const [inline] |
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 1117 of file cfl_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 1111 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ObservableEvents | ( | void | ) | const [inline] |
Get EventSet with observable events.
Definition at line 1203 of file cfl_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::TpdGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 357 of file cfl_cgenerator.h.
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 349 of file cfl_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 1055 of file cfl_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 1048 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetControllable | ( | Idx | index | ) | [inline] |
Mark event controllable (by index).
index | Event index |
Definition at line 1040 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetForcible | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events forcible.
rEvents | EventSet |
Definition at line 1286 of file cfl_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 1279 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetForcible | ( | Idx | index | ) | [inline] |
Mark event forcible (by index).
index | Event index |
Definition at line 1271 of file cfl_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 1414 of file cfl_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 1407 of file cfl_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 1399 of file cfl_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 1438 of file cfl_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 1431 of file cfl_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 1423 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetObservable | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events observable.
rEvents | EventSet |
Definition at line 1170 of file cfl_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 1163 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetObservable | ( | Idx | index | ) | [inline] |
Mark event observable (by index).
index | Event index |
Definition at line 1155 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UncontrollableEvents | ( | void | ) | const [inline] |
Get EventSet with uncontrollable events.
Definition at line 1100 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UnforcibleEvents | ( | void | ) | const [inline] |
Get EventSet with unforcible events.
Definition at line 1331 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UnobservableEvents | ( | void | ) | const [inline] |
Get EventSet with unobservable events.
Definition at line 1215 of file cfl_cgenerator.h.
libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen