hio_module.cpp File Reference
Class describing the I/O based hierarchy.
More...
#include "hio_module.h"
#include "hio_helper.h"
#include "hio_functions.h"
#include <list>
#include <cmath>
Go to the source code of this file.
Namespaces |
namespace | faudes |
| libFAUDES resides within the namespace faudes.
|
Functions |
void | faudes::AdjustHioController (const HioController &rHioController, const HioModule *rHioModule1, const HioModule *rHioModule2, HioController &rResEnv) |
void | faudes::GroupHioModules (const std::vector< HioModule * > &rChildren, HioModule &rParentModule) |
| GroupHioModules: This function groups two or more HioModules to a new HioModule.
|
void | faudes::CreateSpec (int mType[5], HioPlant &rHioSpec, Generator &constrP, Generator &constrE) |
| This function creates new specification given by the type ("xxxxx") Note: The core of this function is a template specification model (SpecCB12.gen).
|
void | faudes::CreateConstraint (int mType[5], Generator &constrP, Generator &constrE) |
| This function creates constraints which describe the condition of completeness and Yp-liveness of a Specification.
|
Detailed Description
Class describing the I/O based hierarchy.
Definition in file hio_module.cpp.