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

Go to the source code of this file.

Namespaces

 faudes
 

Functions

bool faudes::IsHioPlantForm (HioPlant &rHioPlant, StateSet &rQYpYe, StateSet &rQUp, StateSet &rQUe, EventSet &rErrEvSet, TransSet &rErrTrSet, StateSet &rErrStSet, std::string &rReportStr)
 
bool faudes::IsHioPlantForm (HioPlant &rHioPlant, std::string &rReportStr)
 
bool faudes::IsHioPlantForm (HioPlant &rHioPlant)
 
void faudes::HioStatePartition (HioPlant &rHioPlant)
 

Detailed Description

Generator with I/O-plant attributes

Definition in file hio_plant.cpp.

libFAUDES 2.33b --- 2025.05.07 --- c++ api documentaion by doxygen