Generator Classes

Classes
class	faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
class	faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
class	faudes::vGenerator
class	faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >

Macros
#define	THIS   TpGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr>

Typedefs
typedef TcGenerator< AttributeVoid, AttributeVoid, AttributeCFlags, AttributeVoid >	faudes::System
typedef TBaseVector< System >	faudes::SystemVector
typedef vGenerator	faudes::Generator
typedef TBaseVector< Generator >	faudes::GeneratorVector
typedef TBaseVector< IndexSet >	faudes::IndexSetVector

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 FAUDES generator classes are

• mpStates, the stateset Q, type faudes::StateSet;
• mpAlphabet, the Alphabet Sigma, type faudes::EventSet;
• mpTransRel, the transitionrelation Delta, type faudes::TransSet;
• mInitStates, the set of initial states Qo, type faudes::StateSet;
• mMarkedStates, the set of marked states Qm, type faudes::StateSet.

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.

Macro Definition Documentation

THIS

#define THIS   TpGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr>

Convenience typedef for vectors of priositised systems

Definition at line 396 of file pev_pgenerator.h.

Typedef Documentation

Generator

typedef vGenerator faudes::Generator

Plain generator, api typedef for generator with no attributes.

Definition at line 3240 of file cfl_generator.h.

GeneratorVector

typedef TBaseVector<Generator> faudes::GeneratorVector

Convenience typedef for vectors og generators

Definition at line 3246 of file cfl_generator.h.

IndexSetVector

typedef TBaseVector<IndexSet> faudes::IndexSetVector

Convenience typedef for vectors og generators

Definition at line 280 of file cfl_indexset.h.

System

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

Convenience typedef for std System.

Definition at line 921 of file cfl_cgenerator.h.

SystemVector

typedef TBaseVector<System> faudes::SystemVector

Convenience typedef for vectors of systems

Definition at line 927 of file cfl_cgenerator.h.