| |
libFAUDES
Sections
Index
|
Generator ClassesDetailed 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. It provides functions for read and write access to the core members and file IO. Derived generator classes providing attibute attached to events, states and transitions in order to extend basic generator semantics. Examples for attributes are controllability flags for events, addressed by the cGenerator.
Typedef Documentation
Plain generator, api typedef for generator with no attributes.
|
libFAUDES 2.13a c++ source docu by doxygen 1.5.6