libFAUDES

Sections

Index

hio_module.cpp File Reference


Detailed Description

Class describing the I/O based hierarchy.

#include "hio_module.h"

Namespaces

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.

libFAUDES 2.13a c++ source docu by doxygen 1.5.6