faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference Generator with I/O-environment attributes. More...
Detailed Descriptiontemplate<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
|
faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioEnvironment | ( | void | ) |
Creates an empty HioEnvironment object.
Definition at line 975 of file hio_environment.h.
faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioEnvironment | ( | const Generator & | rOtherGen | ) |
HioEnvironment from a std Generator.
Copy constructor
rOtherGen |
Definition at line 985 of file hio_environment.h.
faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioEnvironment | ( | const Generator & | rOtherGen, |
const EventSet & | rYl, | ||
const EventSet & | rUl, | ||
const EventSet & | rYe, | ||
const EventSet & | rUe | ||
) |
HioEnvironment from a std Generator and event sets.
Copy constructor
rOtherGen | Generator |
rYl | alphabet Yl |
rUl | alphabet Ul |
rYe | alphabet Ye |
rUe | alphabet Ue |
Definition at line 990 of file hio_environment.h.
faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioEnvironment | ( | const THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) |
HioEnvironment from a HioEnvironment.
Copy constructor
rOtherGen |
Definition at line 980 of file hio_environment.h.
faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioEnvironment | ( | const std::string & | rFileName | ) |
construct a HioEnvironment from file
rFileName | Filename |
Definition at line 1005 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | Idx | index | ) |
Mark state as NOT Err-state (by index)
index | State index |
Definition at line 1747 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | const std::string & | rName | ) |
Mark state as NOT Err-state (by name)
rName | State name |
Definition at line 1755 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | const StateSet & | rStates | ) |
Mark set of states as NOT Err-states (by index)
rStates | StateSet |
Definition at line 1762 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUe | ( | Idx | index | ) |
Mark state as NOT QUe-state (by index)
index | State index |
Definition at line 1513 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUe | ( | const std::string & | rName | ) |
Mark state as NOT QUe-state (by name)
rName | State name |
Definition at line 1522 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUe | ( | const StateSet & | rStates | ) |
Mark set of states as NOT QUe-states (by index)
rStates | StateSet |
Definition at line 1529 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUl | ( | Idx | index | ) |
Mark state as NOT QUl-state (by index)
index | State index |
Definition at line 1595 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUl | ( | const std::string & | rName | ) |
Mark state as NOT QUl-state (by name)
rName | State name |
Definition at line 1604 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUl | ( | const StateSet & | rStates | ) |
Mark set of states as NOT QUl-states (by index)
rStates | StateSet |
Definition at line 1611 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYe | ( | Idx | index | ) |
Mark state as NOT QYe-state (by index)
index | State index |
Definition at line 1433 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYe | ( | const std::string & | rName | ) |
Mark state as NOT QYe-state (by name)
rName | State name |
Definition at line 1442 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYe | ( | const StateSet & | rStates | ) |
Mark set of states as NOT QYe-states (by index)
rStates | StateSet |
Definition at line 1449 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYlUe | ( | Idx | index | ) |
Mark state as NOT QYlUe-state (by index)
index | State index |
Definition at line 1676 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYlUe | ( | const std::string & | rName | ) |
Mark state as NOT QYlUe-state (by name)
rName | State name |
Definition at line 1684 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYlUe | ( | const StateSet & | rStates | ) |
Mark set of states as NOT QYlUe-states (by index)
rStates | StateSet |
Definition at line 1691 of file hio_environment.h.
|
virtual |
Construct copy on heap.
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 1020 of file hio_environment.h.
EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::EEvents | ( | void | ) | const |
Get EventSet with P-events.
Definition at line 1374 of file hio_environment.h.
StateSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ErrStates | ( | void | ) | const |
Get StateSet with Err-states.
Definition at line 1783 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUeEvent | ( | Idx | index | ) |
Add an existing Ue-event to generator.
An entry in the global event table will be made.
index | Event index |
Definition at line 1100 of file hio_environment.h.
Idx faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUeEvent | ( | const std::string & | rName | ) |
Add new named Ue-event to generator.
An entry in the global event table will be made if event is new.
rName | Name of the event to add |
Definition at line 1109 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUlEvent | ( | Idx | index | ) |
Add an existing Ul-event to generator.
An entry in the global event table will be made.
index | Event index |
Definition at line 1234 of file hio_environment.h.
Idx faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUlEvent | ( | const std::string & | rName | ) |
Add new named Ul-event to generator.
An entry in the global event table will be made if event is new.
rName | Name of the event to add |
Definition at line 1243 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsYeEvent | ( | Idx | index | ) |
Add an existing Ye-event to generator.
An entry in the global event table will be made.
index | Event index |
Definition at line 1082 of file hio_environment.h.
Idx faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsYeEvent | ( | const std::string & | rName | ) |
Add new named Ye-event to generator.
An entry in the global event table will be made if event is new.
rName | Name of the event to add |
Definition at line 1091 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsYlEvent | ( | Idx | index | ) |
Add an existing Yl-event to generator.
An entry in the global event table will be made.
index | Event index |
Definition at line 1216 of file hio_environment.h.
Idx faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsYlEvent | ( | const std::string & | rName | ) |
Add new named Yl-event to generator.
An entry in the global event table will be made if event is new.
rName | Name of the event to add |
Definition at line 1225 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsE | ( | Idx | index | ) | const |
Is event P-event? (by index)
index | Event index |
Definition at line 1350 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsE | ( | const std::string & | rName | ) | const |
Is event P-event? (by name)
rName | Event name |
Definition at line 1356 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsErr | ( | Idx | index | ) | const |
Is state Err-state (by index)
index | State index |
Definition at line 1771 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsErr | ( | const std::string & | rName | ) | const |
Is state Err-state (by name)
rName | State name |
Definition at line 1777 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsL | ( | Idx | index | ) | const |
Is event E-event? (by index)
index | Event index |
Definition at line 1362 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsL | ( | const std::string & | rName | ) | const |
Is event E-event? (by name)
rName | Event name |
Definition at line 1368 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUe | ( | Idx | index | ) | const |
Is state QUe-state (by index)
index | State index |
Definition at line 1538 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUe | ( | const std::string & | rName | ) | const |
Is state QUe-state (by name)
rName | State name |
Definition at line 1544 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUl | ( | Idx | index | ) | const |
Is state QUl-state (by index)
index | State index |
Definition at line 1620 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUl | ( | const std::string & | rName | ) | const |
Is state QUl-state (by name)
rName | State name |
Definition at line 1626 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYe | ( | Idx | index | ) | const |
Is state QYe-state (by index)
index | State index |
Definition at line 1458 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYe | ( | const std::string & | rName | ) | const |
Is state QYe-state (by name)
rName | State name |
Definition at line 1464 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYlUe | ( | Idx | index | ) | const |
Is state QYlUe-state (by index)
index | State index |
Definition at line 1700 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYlUe | ( | const std::string & | rName | ) | const |
Is state QYlUe-state (by name)
rName | State name |
Definition at line 1706 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsU | ( | Idx | index | ) | const |
Is event U-event? (by index)
index | Event index |
Definition at line 1046 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsU | ( | const std::string & | rName | ) | const |
Is event U-event? (by name)
rName | Event name |
Definition at line 1052 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUe | ( | Idx | index | ) | const |
Is event Ue-event(by index)
index | Event index |
Definition at line 1180 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUe | ( | const std::string & | rName | ) | const |
Is event Ue-event(by name)
rName | Event name |
Definition at line 1186 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUl | ( | Idx | index | ) | const |
Is event Ul-event (by index)
index | Event index |
Definition at line 1314 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUl | ( | const std::string & | rName | ) | const |
Is event Ul-event (by name)
rName | Event name |
Definition at line 1320 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsY | ( | Idx | index | ) | const |
Is event Y-event? (by index)
index | Event index |
Definition at line 1034 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsY | ( | const std::string & | rName | ) | const |
Is event Y-event? (by name)
rName | Event name |
Definition at line 1040 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYe | ( | Idx | index | ) | const |
Is event Ye-event(by index)
index | Event index |
Definition at line 1168 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYe | ( | const std::string & | rName | ) | const |
Is event Ye-event(by name)
rName | Event name |
Definition at line 1174 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYl | ( | Idx | index | ) | const |
Is event Yl-event (by index)
index | Event index |
Definition at line 1302 of file hio_environment.h.
bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYl | ( | const std::string & | rName | ) | const |
Is event Yl-event (by name)
rName | Event name |
Definition at line 1308 of file hio_environment.h.
EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::LEvents | ( | void | ) | const |
Get EventSet with E-events.
Definition at line 1385 of file hio_environment.h.
|
virtual |
Construct on heap.
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 1010 of file hio_environment.h.
THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr > faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewHioEnvironment | ( | void | ) | const |
Create empty HioEnvironment with same symboltable as this.
Definition at line 1025 of file hio_environment.h.
|
inlinevirtual |
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 133 of file hio_environment.h.
|
inlinevirtual |
Assignment operator (uses copy )
rOtherGen | Other generator |
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 141 of file hio_environment.h.
StateSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::QUeStates | ( | void | ) | const |
Get StateSet with QUe-states.
Definition at line 1550 of file hio_environment.h.
StateSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::QUlStates | ( | void | ) | const |
Get StateSet with QUl-states.
Definition at line 1632 of file hio_environment.h.
StateSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::QYeStates | ( | void | ) | const |
Get StateSet with QYe-states.
Definition at line 1470 of file hio_environment.h.
StateSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::QYlUeStates | ( | void | ) | const |
Get StateSet with QYlUe-states.
Definition at line 1712 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | Idx | index | ) |
Mark state as Err-state (by index)
index | State index |
Definition at line 1723 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | const std::string & | rName | ) |
Mark state as Err-state (by name)
rName | State name |
Definition at line 1731 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | const StateSet & | rStates | ) |
Mark set of states as Err-states.
rStates | StateSet |
Definition at line 1738 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUe | ( | Idx | index | ) |
Mark event as QUe-state (by index)
index | State index |
Definition at line 1482 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUe | ( | const std::string & | rName | ) |
Mark state as QUe-state (by name)
rName | State name |
Definition at line 1497 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUe | ( | const StateSet & | rStates | ) |
Mark set of states as QUe-states.
rStates | StateSet |
Definition at line 1504 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUl | ( | Idx | index | ) |
Mark event as QUl-state (by index)
index | State index |
Definition at line 1564 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUl | ( | const std::string & | rName | ) |
Mark state as QUl-state (by name)
rName | State name |
Definition at line 1579 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUl | ( | const StateSet & | rStates | ) |
Mark set of states as QUl-states.
rStates | StateSet |
Definition at line 1586 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYe | ( | Idx | index | ) |
Mark event as QYe-state (by index)
index | State index |
Definition at line 1402 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYe | ( | const std::string & | rName | ) |
Mark state as QYe-state (by name)
rName | State name |
Definition at line 1417 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYe | ( | const StateSet & | rStates | ) |
Mark set of states as QYe-states.
rStates | StateSet |
Definition at line 1424 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYlUe | ( | Idx | index | ) |
Mark event as QYlUe-state (by index)
index | State index |
Definition at line 1645 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYlUe | ( | const std::string & | rName | ) |
Mark state as QYlUe-state (by name)
rName | State name |
Definition at line 1660 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYlUe | ( | const StateSet & | rStates | ) |
Mark set of states as QYlUe-states.
rStates | StateSet |
Definition at line 1667 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUe | ( | Idx | index | ) |
Mark event Ue-event(by index)
index | Event index |
Definition at line 1143 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUe | ( | const std::string & | rName | ) |
Mark event Ue-event(by name)
rName | Event name |
Definition at line 1152 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUe | ( | const EventSet & | rEvents | ) |
Mark set of events as Ue-events.
rEvents | EventSet |
Definition at line 1159 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUl | ( | Idx | index | ) |
Mark event as Ul-event (by index)
index | Event index |
Definition at line 1277 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUl | ( | const std::string & | rName | ) |
Mark event as Ul-event (by name)
rName | Event name |
Definition at line 1286 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUl | ( | const EventSet & | rEvents | ) |
Mark set of events as Ul-events.
rEvents | EventSet |
Definition at line 1293 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYe | ( | Idx | index | ) |
Mark event as Ye-event (by index)
index | Event index |
Definition at line 1118 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYe | ( | const std::string & | rName | ) |
Mark event as Ye-event(by name)
rName | Event name |
Definition at line 1127 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYe | ( | const EventSet & | rEvents | ) |
Mark set of events as Ye-events.
rEvents | EventSet |
Definition at line 1134 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYl | ( | Idx | index | ) |
Mark event as Yl-event (by index)
index | Event index |
Definition at line 1252 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYl | ( | const std::string & | rName | ) |
Mark event as Yl-event (by name)
rName | Event name |
Definition at line 1261 of file hio_environment.h.
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYl | ( | const EventSet & | rEvents | ) |
Mark set of events as Yl-events.
rEvents | EventSet |
Definition at line 1268 of file hio_environment.h.
EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::UeEvents | ( | void | ) | const |
Get EventSet with Ue-events.
Definition at line 1203 of file hio_environment.h.
EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::UEvents | ( | void | ) | const |
Get EventSet with U-events.
Definition at line 1069 of file hio_environment.h.
EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::UlEvents | ( | void | ) | const |
Get EventSet with Ul-events.
Definition at line 1337 of file hio_environment.h.
|
inlinevirtual |
Updates internal attributes.
This method sets the state partition attributes.
Reimplemented from faudes::vGenerator.
Definition at line 957 of file hio_environment.h.
EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::YeEvents | ( | void | ) | const |
Get EventSet with Ye-events.
Definition at line 1192 of file hio_environment.h.
EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::YEvents | ( | void | ) | const |
Get EventSet with Y-events.
Definition at line 1058 of file hio_environment.h.
EventSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::YlEvents | ( | void | ) | const |
Get EventSet with Yl-events.
Definition at line 1326 of file hio_environment.h.
libFAUDES 2.26g --- 2015.08.17 --- c++ api documentaion by doxygen