faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference Generator with I/O-plant attributes. More...
Detailed Descriptiontemplate<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
|
faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioPlant | ( | void | ) |
Creates an empty HioPlant object.
Definition at line 889 of file hio_plant.h.
faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioPlant | ( | const Generator & | rOtherGen | ) |
HioPlant from a std Generator.
Copy constructor
rOtherGen |
Definition at line 899 of file hio_plant.h.
faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioPlant | ( | const Generator & | rOtherGen, |
const EventSet & | rYp, | ||
const EventSet & | rUp, | ||
const EventSet & | rYe, | ||
const EventSet & | rUe | ||
) |
HioPlant from a std Generator and event sets.
Copy constructor
rOtherGen | Generator |
rYp | alphabet Yp |
rUp | alphabet Up |
rYe | alphabet Ye |
rUe | alphabet Ue |
Definition at line 904 of file hio_plant.h.
faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioPlant | ( | const THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) |
HioPlant from a HioPlant.
Copy constructor
rOtherGen |
Definition at line 894 of file hio_plant.h.
faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioPlant | ( | const std::string & | rFileName | ) |
construct a HioPlant from file
rFileName | Filename |
Definition at line 919 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | Idx | index | ) |
Mark state as NOT Err-state (by index)
index | State index |
Definition at line 1583 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | const std::string & | rName | ) |
Mark state as NOT Err-state (by name)
rName | State name |
Definition at line 1591 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | const StateSet & | rStates | ) |
Mark set of states as NOT Err-states (by index)
rStates | StateSet |
Definition at line 1598 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUe | ( | Idx | index | ) |
Mark state as NOT QUe-state (by index)
index | State index |
Definition at line 1511 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUe | ( | const std::string & | rName | ) |
Mark state as NOT QUe-state (by name)
rName | State name |
Definition at line 1520 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUe | ( | const StateSet & | rStates | ) |
Mark set of states as NOT QUe-states (by index)
rStates | StateSet |
Definition at line 1527 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUp | ( | Idx | index | ) |
Mark state as NOT QUp-state (by index)
index | State index |
Definition at line 1429 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUp | ( | const std::string & | rName | ) |
Mark state as NOT QUp-state (by name)
rName | State name |
Definition at line 1438 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUp | ( | const StateSet & | rStates | ) |
Mark set of states as NOT QUp-states (by index)
rStates | StateSet |
Definition at line 1445 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYpYe | ( | Idx | index | ) |
Mark state as NOT QYpYe-state (by index)
index | State index |
Definition at line 1348 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYpYe | ( | const std::string & | rName | ) |
Mark state as NOT QYpYe-state (by name)
rName | State name |
Definition at line 1358 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYpYe | ( | const StateSet & | rStates | ) |
Mark set of states as NOT QYpYe-states (by index)
rStates | StateSet |
Definition at line 1365 of file hio_plant.h.
|
virtual |
Construct copy on heap.
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 934 of file hio_plant.h.
EventSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::EEvents | ( | void | ) | const |
Get EventSet with E-events.
Definition at line 1300 of file hio_plant.h.
StateSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::ErrStates | ( | void | ) | const |
Get StateSet with Err-states.
Definition at line 1619 of file hio_plant.h.
void faudes::THioPlant< 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 1149 of file hio_plant.h.
Idx faudes::THioPlant< 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 1158 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUpEvent | ( | Idx | index | ) |
Add an existing Up-event to generator.
An entry in the global event table will be made.
index | Event index |
Definition at line 1015 of file hio_plant.h.
Idx faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUpEvent | ( | const std::string & | rName | ) |
Add new named Up-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 1024 of file hio_plant.h.
void faudes::THioPlant< 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 1131 of file hio_plant.h.
Idx faudes::THioPlant< 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 1140 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsYpEvent | ( | Idx | index | ) |
Add an existing Yp-event to generator.
An entry in the global event table will be made.
index | Event index |
Definition at line 997 of file hio_plant.h.
Idx faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsYpEvent | ( | const std::string & | rName | ) |
Add new named Yp-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 1006 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsE | ( | Idx | index | ) | const |
Is event E-event? (by index)
index | Event index |
Definition at line 1277 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsE | ( | const std::string & | rName | ) | const |
Is event E-event? (by name)
rName | Event name |
Definition at line 1283 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsErr | ( | Idx | index | ) | const |
Is state Err-state (by index)
index | State index |
Definition at line 1607 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsErr | ( | const std::string & | rName | ) | const |
Is state Err-state (by name)
rName | State name |
Definition at line 1613 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsP | ( | Idx | index | ) | const |
Is event P-event? (by index)
index | Event index |
Definition at line 1265 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsP | ( | const std::string & | rName | ) | const |
Is event P-event? (by name)
rName | Event name |
Definition at line 1271 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUe | ( | Idx | index | ) | const |
Is state QUe-state (by index)
index | State index |
Definition at line 1536 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUe | ( | const std::string & | rName | ) | const |
Is state QUe-state (by name)
rName | State name |
Definition at line 1542 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUp | ( | Idx | index | ) | const |
Is state QUp-state (by index)
index | State index |
Definition at line 1454 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUp | ( | const std::string & | rName | ) | const |
Is state QUp-state (by name)
rName | State name |
Definition at line 1460 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYpYe | ( | Idx | index | ) | const |
Is state QYpYe-state (by index)
index | State index |
Definition at line 1374 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYpYe | ( | const std::string & | rName | ) | const |
Is state QYpYe-state (by name)
rName | State name |
Definition at line 1380 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsU | ( | Idx | index | ) | const |
Is event U-event? (by index)
index | Event index |
Definition at line 961 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsU | ( | const std::string & | rName | ) | const |
Is event U-event? (by name)
rName | Event name |
Definition at line 967 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUe | ( | Idx | index | ) | const |
Is event Ue-event (by index)
index | Event index |
Definition at line 1229 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUe | ( | const std::string & | rName | ) | const |
Is event Ue-event (by name)
rName | Event name |
Definition at line 1235 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUp | ( | Idx | index | ) | const |
Is event Up-event(by index)
index | Event index |
Definition at line 1095 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUp | ( | const std::string & | rName | ) | const |
Is event Up-event(by name)
rName | Event name |
Definition at line 1101 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsY | ( | Idx | index | ) | const |
Is event Y-event? (by index)
index | Event index |
Definition at line 949 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsY | ( | const std::string & | rName | ) | const |
Is event Y-event? (by name)
rName | Event name |
Definition at line 955 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYe | ( | Idx | index | ) | const |
Is event Ye-event (by index)
index | Event index |
Definition at line 1217 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYe | ( | const std::string & | rName | ) | const |
Is event Ye-event (by name)
rName | Event name |
Definition at line 1223 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYp | ( | Idx | index | ) | const |
Is event Yp-event(by index)
index | Event index |
Definition at line 1083 of file hio_plant.h.
bool faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYp | ( | const std::string & | rName | ) | const |
Is event Yp-event(by name)
rName | Event name |
Definition at line 1089 of file hio_plant.h.
|
virtual |
Construct on heap.
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 924 of file hio_plant.h.
THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr > faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewHioPlant | ( | void | ) | const |
Create empty HioPlant with same symboltable as this.
Definition at line 939 of file hio_plant.h.
|
inlinevirtual |
Assignment operator (uses copy )
rOtherGen | Other generator |
Definition at line 131 of file hio_plant.h.
EventSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::PEvents | ( | void | ) | const |
Get EventSet with P-events.
Definition at line 1289 of file hio_plant.h.
StateSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::QUeStates | ( | void | ) | const |
Get StateSet with QUe-states.
Definition at line 1548 of file hio_plant.h.
StateSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::QUpStates | ( | void | ) | const |
Get StateSet with QUp-states.
Definition at line 1466 of file hio_plant.h.
StateSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::QYpYeStates | ( | void | ) | const |
Get StateSet with QYpYe-states.
Definition at line 1386 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | Idx | index | ) |
Mark state as Err-state (by index)
index | State index |
Definition at line 1559 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | const std::string & | rName | ) |
Mark state as Err-state (by name)
rName | State name |
Definition at line 1567 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | const StateSet & | rStates | ) |
Mark set of states as Err-states.
rStates | StateSet |
Definition at line 1574 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUe | ( | Idx | index | ) |
Mark state as QUe-state (by index)
index | State index |
Definition at line 1480 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUe | ( | const std::string & | rName | ) |
Mark state as QUe-state (by name)
rName | State name |
Definition at line 1495 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUe | ( | const StateSet & | rStates | ) |
Mark set of states as QUe-states.
rStates | StateSet |
Definition at line 1502 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUp | ( | Idx | index | ) |
Mark state as QUp-state (by index)
index | State index |
Definition at line 1398 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUp | ( | const std::string & | rName | ) |
Mark state as QUp-state (by name)
rName | State name |
Definition at line 1413 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUp | ( | const StateSet & | rStates | ) |
Mark set of states as QUp-states.
rStates | StateSet |
Definition at line 1420 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYpYe | ( | Idx | index | ) |
Mark state as QYpYe-state (by index)
index | State index |
Definition at line 1317 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYpYe | ( | const std::string & | rName | ) |
Mark state as QYpYe-state (by name)
rName | State name |
Definition at line 1332 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYpYe | ( | const StateSet & | rStates | ) |
Mark set of states as QYpYe-states.
rStates | StateSet |
Definition at line 1339 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUe | ( | Idx | index | ) |
Mark event as Ue-event (by index)
index | Event index |
Definition at line 1192 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUe | ( | const std::string & | rName | ) |
Mark event as Ue-event (by name)
rName | Event name |
Definition at line 1201 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUe | ( | const EventSet & | rEvents | ) |
Mark set of events as Ue-events.
rEvents | EventSet |
Definition at line 1208 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUp | ( | Idx | index | ) |
Mark event Up-event(by index)
index | Event index |
Definition at line 1058 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUp | ( | const std::string & | rName | ) |
Mark event Up-event(by name)
rName | Event name |
Definition at line 1067 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUp | ( | const EventSet & | rEvents | ) |
Mark set of events as Up-events.
rEvents | EventSet |
Definition at line 1074 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYe | ( | Idx | index | ) |
Mark event as Ye-event (by index)
index | Event index |
Definition at line 1167 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYe | ( | const std::string & | rName | ) |
Mark event as Ye-event (by name)
rName | Event name |
Definition at line 1176 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYe | ( | const EventSet & | rEvents | ) |
Mark set of events as Ye-events.
rEvents | EventSet |
Definition at line 1183 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYp | ( | Idx | index | ) |
Mark event as Yp-event (by index)
index | Event index |
Definition at line 1033 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYp | ( | const std::string & | rName | ) |
Mark event as Yp-event(by name)
rName | Event name |
Definition at line 1042 of file hio_plant.h.
void faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYp | ( | const EventSet & | rEvents | ) |
Mark set of events as Yp-events.
rEvents | EventSet |
Definition at line 1049 of file hio_plant.h.
EventSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::UeEvents | ( | void | ) | const |
Get EventSet with Ue-events.
Definition at line 1252 of file hio_plant.h.
EventSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::UEvents | ( | void | ) | const |
|
inlinevirtual |
Updates internal attributes.
This method sets the state partition attributes.
Reimplemented from faudes::vGenerator.
Definition at line 871 of file hio_plant.h.
EventSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::UpEvents | ( | void | ) | const |
Get EventSet with Up-events.
Definition at line 1118 of file hio_plant.h.
EventSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::YeEvents | ( | void | ) | const |
Get EventSet with Ye-events.
Definition at line 1241 of file hio_plant.h.
EventSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::YEvents | ( | void | ) | const |
EventSet faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >::YpEvents | ( | void | ) | const |
Get EventSet with Yp-events.
Definition at line 1107 of file hio_plant.h.
libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen