|
|
||||||
|
Detailed DescriptionA 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
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
Convenience typedef for vectors of priositised systems Definition at line 404 of file pev_pgenerator.h. Typedef Documentation◆ Generator
Plain generator, api typedef for generator with no attributes. Definition at line 3194 of file cfl_generator.h. ◆ GeneratorVector
Convenience typedef for vectors og generators Definition at line 3200 of file cfl_generator.h. ◆ IndexSetVector
Convenience typedef for vectors of indexsets Definition at line 280 of file cfl_indexset.h. ◆ SystemConvenience typedef for std System. Definition at line 719 of file cfl_cgenerator.h. ◆ SystemVector
Convenience typedef for vectors of systems Definition at line 725 of file cfl_cgenerator.h. libFAUDES 2.33h --- 2025.06.18 --- c++ api documentaion by doxygen |