libFAUDES

Sections

Index

Generator Classes

A generator is a tupel G = (Q, Sigma, Delta, Qo, Qm). More...

Classes

class  faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
 Generator with specified attribute types. More...
class  faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
 Generator with controllability attributes. More...
class  faudes::vGenerator
 Base class of all FAUDES generators. More...

Typedefs

typedef vGenerator faudes::Generator
 Plain generator, api typedef for generator with no attributes.
typedef TBaseVector< Generator > faudes::GeneratorVector
 Convenience typedef for generator vectors.

Detailed Description

A generator is a tupel G = (Q, Sigma, Delta, Qo, Qm).

Generators are used to represent the closed and the marked language L(G) and L_m(G) respectively. The core members of FAUDS generator classes are

The base class for all libFAUDES generator classes is the faudes::vGenerator. It provides functions for read and write access to the core members and file IO. Derived generator classes providing attibute attached to events, states and transitions in order to extend basic generator semantics. Examples for attributes are controllability flags for events, addressed by the cGenerator.


Typedef Documentation

typedef vGenerator faudes::Generator

Plain generator, api typedef for generator with no attributes.

Definition at line 2903 of file cfl_generator.h.

typedef TBaseVector<Generator> faudes::GeneratorVector

Convenience typedef for generator vectors.

Definition at line 2908 of file cfl_generator.h.

libFAUDES 2.18b --- 2010-12-17 --- c++ source docu by doxygen 1.6.3