libFAUDES

Sections

Index

hio_plant.h File Reference


Detailed Description

Generator with I/O-plant attributes.

#include "corefaudes.h"
#include "hio_attributes.h"

Namespaces

namespace  faudes

Classes

class  faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >
 Generator with I/O-plant attributes. More...

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::IsIoPlantForm (HioPlant &rHioPlant, StateSet &rQYpYe, StateSet &rQUp, StateSet &rQUe, EventSet &rErrEvSet, TransSet &rErrTrSet, StateSet &rErrStSet, std::string &ReportStr)
 IsIoPlantForm: check if rHioPlant is in I/O-plant form and assign state attributes.
bool faudes::IsIoPlantForm (HioPlant &rHioPlant, std::string &ReportStr)
 IsIoPlantForm: check if rHioPlant is in I/O-plant form and assign state attributes.
bool faudes::IsIoPlantForm (HioPlant &rHioPlant)
 IsIoPlantForm: check if rHioPlant is in I/O-plant form and assign state attributes.
void faudes::IsIoPlantForm (HioPlant &rHioPlant, bool &rRes, std::string &rReportStr)
 Function definition for run-time interface.
void faudes::IsIoPlantForm (HioPlant &rHioPlant, bool &rRes)
 Function definition for run-time interface.
void faudes::IsIoPlantForm (HioPlant &rHioPlant, StateSet &rQYpYe, StateSet &rQUp, StateSet &rQUe, EventSet &rErrEvSet, TransSet &rErrTrSet, StateSet &rErrStSet, bool &rRes, std::string &ReportStr)
 Function definition for run-time interface.
void faudes::IoStatePartition (HioPlant &rPlant)
 Function definition for run-time interface.


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.13a c++ source docu by doxygen 1.5.6