libFAUDES

Sections

Index

hio_controller.cpp File Reference


Detailed Description

Generator with I/O-controller attributes.

Definition in file hio_controller.cpp.

#include "hio_controller.h"

Go to the source code of this file.

Namespaces

namespace  faudes

Functions

bool faudes::IsIoControllerForm (HioController &rHioController, StateSet &rQUc, StateSet &rQYP, StateSet &rQUp, StateSet &rQYcUp, EventSet &rErrEvSet, TransSet &rErrTrSet, StateSet &rErrStSet, std::string &ReportStr)
 IsIoControllerForm: check if rHioController is in I/O-controller form and assign state attributes.
bool faudes::IsIoControllerForm (HioController &rHioController, std::string &ReportStr)
 IsIoControllerForm: check if rHioController is in I/O-controller form and assign state attributes.
bool faudes::IsIoControllerForm (HioController &rHioController)
 IsIoControllerForm: check if rHioController is in I/O-controller form and assign state attributes.
void faudes::IsIoControllerForm (HioController &rHioController, bool &rRes)
 Function definition for run-time interface.
void faudes::IoStatePartition (HioController &rController)
 Function definition for run-time interface.

libFAUDES 2.14g --- 2009-12-3 --- c++ source docu by doxygen 1.5.6