A generator is a tupel G = (Q, Sigma, Delta, Qo, Qm). More...
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 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
Plain generator, api typedef for generator with no attributes. Definition at line 3242 of file cfl_generator.h.
Convenience typedef for vectors og generators. Definition at line 3248 of file cfl_generator.h.
Convenience typedef for vectors og generators. Definition at line 278 of file cfl_indexset.h.
Convenience typedef for std System. Definition at line 910 of file cfl_cgenerator.h.
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 |