hio_environment.cpp File Reference
Generator with I/O-environment attributes.
More...
#include "hio_environment.h"
#include "corefaudes.h"
#include "hio_attributes.h"
Go to the source code of this file.
Namespaces |
namespace | faudes |
| libFAUDES resides within the namespace faudes.
|
Functions |
bool | faudes::IsHioEnvironmentForm (HioEnvironment &rHioEnvironment, StateSet &rQYe, StateSet &rQUe, StateSet &rQUl, StateSet &rQYlUe, EventSet &rErrEvSet, TransSet &rErrTrSet, StateSet &rErrStSet, std::string &rReportStr) |
| IsHioEnvironmentForm: check if rHioEnvironment is in I/O-environment form and assign state attributes.
|
bool | faudes::IsHioEnvironmentForm (HioEnvironment &rHioEnvironment, std::string &rReportStr) |
| IsHioEnvironmentForm: check if rHioEnvironment is in I/O-environment form and assign state attributes.
|
bool | faudes::IsHioEnvironmentForm (HioEnvironment &rHioEnvironment) |
| IsHioEnvironmentForm: check if rHioEnvironment is in I/O-environment form and assign state attributes.
|
void | faudes::HioStatePartition (HioEnvironment &rEnvironment) |
| Function definition for run-time interface.
|
Detailed Description
Generator with I/O-environment attributes.
Definition in file hio_environment.cpp.