| |
libFAUDES
Sections
Index
|
Example PlugIn |
Functions | |
void | faudes::AlternativeAccessible (vGenerator &rGen) |
Alternative accessibility algorithm. |
void faudes::AlternativeAccessible | ( | vGenerator & | rGen | ) |
Alternative accessibility algorithm.
We use the alternative accessibility algorithm from tutorial 6 for our example plugin. The implementation uses a todo stack to discover accessible states and finaly remove all other states from the input generator.
![]() |
rGen | Input generator |
libFAUDES 2.13a c++ source docu by doxygen 1.5.6