Generator with I/O-plant attributes.
More...
Go to the source code of this file.
Namespaces |
| namespace | faudes |
| | libFAUDES resides within the namespace faudes.
|
Functions |
| bool | faudes::IsHioPlantForm (HioPlant &rHioPlant, StateSet &rQYpYe, StateSet &rQUp, StateSet &rQUe, EventSet &rErrEvSet, TransSet &rErrTrSet, StateSet &rErrStSet, std::string &rReportStr) |
| | IsHioPlantForm: check if rHioPlant is in I/O-plant form and assign state attributes.
|
| bool | faudes::IsHioPlantForm (HioPlant &rHioPlant, std::string &rReportStr) |
| | IsHioPlantForm: check if rHioPlant is in I/O-plant form and assign state attributes.
|
| bool | faudes::IsHioPlantForm (HioPlant &rHioPlant) |
| | IsHioPlantForm: check if rHioPlant is in I/O-plant form and assign state attributes.
|
| void | faudes::HioStatePartition (HioPlant &rPlant) |
| | Function definition for run-time interface.
|
Detailed Description
Generator with I/O-plant attributes.
Definition in file hio_plant.cpp.