hio_environment.cpp File Reference
#include "hio_environment.h"

Go to the source code of this file.

Namespaces

 faudes
 

Functions

bool faudes::IsHioEnvironmentForm (HioEnvironment &rHioEnvironment, StateSet &rQYe, StateSet &rQUe, StateSet &rQUl, StateSet &rQYlUe, EventSet &rErrEvSet, TransSet &rErrTrSet, StateSet &rErrStSet, std::string &rReportStr)
 
bool faudes::IsHioEnvironmentForm (HioEnvironment &rHioEnvironment, std::string &rReportStr)
 
bool faudes::IsHioEnvironmentForm (HioEnvironment &rHioEnvironment)
 
void faudes::HioStatePartition (HioEnvironment &rHioEnvironment)
 

Detailed Description

Generator with I/O-environment attributes

Definition in file hio_environment.cpp.

libFAUDES 2.33c --- 2025.05.15 --- c++ api documentaion by doxygen