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 >
 Compatibility: pre 2.20b used cEventSet as C++ class name. More...
class  faudes::vGenerator
 Base class of all FAUDES generators. More...

Typedefs

typedef TcGenerator
< AttributeVoid, AttributeVoid,
AttributeCFlags, AttributeVoid > 
faudes::System
 Convenience typedef for std System.
typedef TBaseVector< System > faudes::SystemVector
 Convenience typedef for vectors of systems.
typedef vGenerator faudes::Generator
 Plain generator, api typedef for generator with no attributes.
typedef TBaseVector< Generator > faudes::GeneratorVector
 Convenience typedef for vectors og generators.
typedef TBaseVector< IndexSet > faudes::IndexSetVector
 Convenience typedef for vectors og generators.

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, also accessible as typedef faudes::Generator. It provides functions for read and write access to the core members and file IO. Derived generator classes provide attibutes attached to events, states and transitions in order to extend basic generator semantics. Examples for attributes are controllability flags for events; see also faudes::TcGenerator or faudes::System.

Typedef Documentation

typedef vGenerator faudes::Generator

Plain generator, api typedef for generator with no attributes.

Definition at line 3242 of file cfl_generator.h.

typedef TBaseVector<Generator> faudes::GeneratorVector

Convenience typedef for vectors og generators.

Definition at line 3248 of file cfl_generator.h.

typedef TBaseVector<IndexSet> faudes::IndexSetVector

Convenience typedef for vectors og generators.

Definition at line 278 of file cfl_indexset.h.

typedef TcGenerator<AttributeVoid, AttributeVoid, AttributeCFlags,AttributeVoid> faudes::System

Convenience typedef for std System.

Definition at line 910 of file cfl_cgenerator.h.

typedef TBaseVector<System> faudes::SystemVector

Convenience typedef for vectors of systems.

Definition at line 916 of file cfl_cgenerator.h.

libFAUDES 2.28a --- 2016.09.13 --- c++ api documentaion by doxygen