|
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. |
Generator with controllability attributes.
The cGenerator is a variant of the aGenerator 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 typedefed as cGenerator.
Definition at line 263 of file cfl_cgenerator.h.
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TcGenerator | ( | void | ) | [inline] |
Creates an emtpy cGenerator object.
Definition at line 908 of file cfl_cgenerator.h.
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TcGenerator | ( | const vGenerator & | rOtherGen | ) | [inline] |
cGenerator from a std Generator.
Copy constructor
rOtherGen |
Definition at line 918 of file cfl_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 913 of file cfl_cgenerator.h.
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TcGenerator | ( | const std::string & | rFileName | ) | [inline] |
construct a cGenerator from file
rFileName | Filename |
Definition at line 923 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 1038 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 1031 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 1023 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 1269 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 1262 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 1254 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 1153 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 1146 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 1138 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 961 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 955 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ControllableEvents | ( | void | ) | const [inline] |
Get EventSet with controllable events.
Definition at line 1047 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 >, and faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 939 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 1192 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 1186 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ForcibleEvents | ( | void | ) | const [inline] |
Get EventSet with forcible events.
Definition at line 1278 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 1308 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 1302 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 1406 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 975 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 967 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 1206 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 1198 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 1334 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 1326 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 1350 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 1342 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 1090 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 1082 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 991 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 983 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 1222 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 1214 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 1106 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 1098 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 1320 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 1314 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 1418 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 >, and faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 929 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 1076 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 1070 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ObservableEvents | ( | void | ) | const [inline] |
Get EventSet with observable events.
Definition at line 1162 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 >, and faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 335 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 327 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 1014 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 1007 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 999 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 1245 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 1238 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 1230 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 1373 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 1366 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 1358 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 1397 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 1390 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 1382 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 1129 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 1122 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 1114 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UncontrollableEvents | ( | void | ) | const [inline] |
Get EventSet with uncontrollable events.
Definition at line 1059 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UnforcibleEvents | ( | void | ) | const [inline] |
Get EventSet with unforcible events.
Definition at line 1290 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UnobservableEvents | ( | void | ) | const [inline] |
Get EventSet with unobservable events.
Definition at line 1174 of file cfl_cgenerator.h.
libFAUDES 2.18b --- 2010-12-17 --- c++ source docu by doxygen 1.6.3