|
libFAUDES
Sections
Index
|
Generator ClassesA 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. 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. Definition at line 2903 of file cfl_generator.h.
Convenience typedef for generator vectors. Definition at line 2908 of file cfl_generator.h. |
libFAUDES 2.16b --- 2010-9-8 --- c++ source docu by doxygen 1.6.3