About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES online
libFAUDES

Sections

Index

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.

libFAUDES 2.20d --- 2011.04.26 --- c++ source docu by doxygen