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

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.

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 TcGenerator< AttributeVoid, AttributeVoid, AttributeCFlags, AttributeVoid >	faudes::System
	Convenience typedef for std System. More...

typedef TBaseVector< System >	faudes::SystemVector
	Convenience typedef for vectors of systems. More...

typedef vGenerator	faudes::Generator
	Plain generator, api typedef for generator with no attributes. More...

typedef TBaseVector< Generator >	faudes::GeneratorVector
	Convenience typedef for vectors og generators. More...

typedef TBaseVector< IndexSet >	faudes::IndexSetVector
	Convenience typedef for vectors og generators. More...