|
hio_plant.h File Reference
Generator with I/O-plant attributes.
More...
#include "corefaudes.h"
#include "hio_attributes.h"
Go to the source code of this file.
Classes |
class | faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr > |
| Generator with I/O-plant attributes. More...
|
Namespaces |
namespace | faudes |
| libFAUDES resides within the namespace faudes.
|
Defines |
#define | THIS THioPlant<GlobalAttr, StateAttr, EventAttr, TransAttr> |
#define | BASE TaGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr> |
#define | TEMP template <class GlobalAttr, class StateAttr, class EventAttr, class TransAttr> |
Typedefs |
typedef THioPlant
< AttributeVoid, HioStateFlags,
HioEventFlags, AttributeVoid > | faudes::HioPlant |
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.h.
Define Documentation
#define BASE TaGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr> |
#define TEMP template <class GlobalAttr, class StateAttr, class EventAttr, class TransAttr> |
#define THIS THioPlant<GlobalAttr, StateAttr, EventAttr, TransAttr> |
libFAUDES 2.23h
--- 2014.04.03
--- c++ api documentaion by doxygen
|