Generator Classes


Detailed Description

This module collects all libFAUDES generator classes.


Classes

class  faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
 Model of the common five-tupel G := (X, Sigma, Delta, X_0, X_m). More...
class  faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
 Generator with controllability attributes. More...
class  faudes::vGenerator
 Virtual version of a plain generator (ie no attributes). More...

Typedefs

typedef TaGenerator< AttributeVoid,
AttributeVoid, AttributeVoid,
AttributeVoid > 
faudes::Generator
 Plain generator, typedef for generator with no attributes.


Typedef Documentation

typedef TaGenerator<AttributeVoid,AttributeVoid,AttributeVoid,AttributeVoid> faudes::Generator
 

Plain generator, typedef for generator with no attributes.

Definition at line 2425 of file agenerator.h.


Generated on Fri May 9 11:26:48 2008 for libFAUDES 2.09b by  doxygen 1.4.4