|
|
Generator with I/O-environment attributes.
More...
#include "corefaudes.h"
#include "hio_attributes.h"
Go to the source code of this file.
|
| | faudes |
| | libFAUDES resides within the namespace faudes.
|
| |
|
| #define | THIS THioEnvironment<GlobalAttr, StateAttr, EventAttr, TransAttr> |
| |
| #define | BASE TaGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr> |
| |
| #define | TEMP template <class GlobalAttr, class StateAttr, class EventAttr, class TransAttr> |
| |
| #define | HIOENVIRONMENT_H |
| |
|
| 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. More...
|
| |
| bool | faudes::IsHioEnvironmentForm (HioEnvironment &rHioEnvironment, std::string &rReportStr) |
| | IsHioEnvironmentForm: check if rHioEnvironment is in I/O-environment form and assign state attributes. More...
|
| |
| bool | faudes::IsHioEnvironmentForm (HioEnvironment &rHioEnvironment) |
| | IsHioEnvironmentForm: check if rHioEnvironment is in I/O-environment form and assign state attributes. More...
|
| |
| void | faudes::HioStatePartition (HioEnvironment &rEnvironment) |
| | Function definition for run-time interface. More...
|
| |
Generator with I/O-environment attributes.
Definition in file hio_environment.h.
◆ BASE
| #define BASE TaGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr> |
◆ HIOENVIRONMENT_H
◆ TEMP
| #define TEMP template <class GlobalAttr, class StateAttr, class EventAttr, class TransAttr> |
◆ THIS
| #define THIS THioEnvironment<GlobalAttr, StateAttr, EventAttr, TransAttr> |
libFAUDES 2.31h
--- 2024.01.29
--- c++ api documentaion by doxygen
|