Generator with I/O-controller attributes.
More...
Go to the source code of this file.
|
| | faudes |
| | libFAUDES resides within the namespace faudes.
|
| |
|
| bool | faudes::IsHioControllerForm (HioController &rHioController, StateSet &rQUc, StateSet &rQYP, StateSet &rQUp, StateSet &rQYcUp, EventSet &rErrEvSet, TransSet &rErrTrSet, StateSet &rErrStSet, std::string &rReportStr) |
| | IsHioControllerForm: check if rHioController is in I/O-controller form and assign state attributes. More...
|
| |
| bool | faudes::IsHioControllerForm (HioController &rHioController, std::string &rReportStr) |
| | IsHioControllerForm: check if rHioController is in I/O-controller form and assign state attributes. More...
|
| |
| bool | faudes::IsHioControllerForm (HioController &rHioController) |
| | IsHioControllerForm: check if rHioController is in I/O-controller form and assign state attributes. More...
|
| |
| void | faudes::HioStatePartition (HioController &rController) |
| | Function definition for run-time interface. More...
|
| |
Generator with I/O-controller attributes.
Definition in file hio_controller.cpp.