hio_module.h File Reference

Class describing the I/O based hierarchy. More...

#include "hio_functions.h"
#include <list>
#include <cmath>

Go to the source code of this file.

Classes
class	faudes::HioModule
	Recurring structure in hierarchies designed according to the I/O based DES framework. More...

Namespaces
	faudes
	libFAUDES resides within the namespace faudes.

Functions
void	faudes::GroupHioModules (const std::vector< HioModule * > &rChildren, HioModule &rParentModule)
	GroupHioModules: This function groups two or more HioModules to a new HioModule. More...
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). More...
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. More...

Detailed Description

Class describing the I/O based hierarchy.

Definition in file hio_module.h.