libFAUDES

Sections

Index

Generator Classes


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.


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.


Typedef Documentation

typedef vGenerator faudes::Generator

Plain generator, api typedef for generator with no attributes.

Definition at line 2825 of file vgenerator.h.

typedef TBaseVector<Generator> faudes::GeneratorVector

Convenience typedef for generator vectors.

Definition at line 2830 of file vgenerator.h.

libFAUDES 2.14g --- 2009-12-3 --- c++ source docu by doxygen 1.5.6