pex_altaccess.h
Go to the documentation of this file.
1 /** @file pex_altaccess.h Example plugin */
2 
3 #ifndef FAUDES_PEX_ALTACCESS_H
4 #define FAUDES_PEX_ALTACCESS_H
5 
6 #include "corefaudes.h"
7 
8 namespace faudes {
9 
10 
11 /**
12  * Alternative accessibility algorithm.
13  * We use the alternative accessibility algorithm from tutorial 6
14  * for our example plugin. The implementation uses a todo stack to discover
15  * accessible states and finaly remove all other states from the
16  * input generator.
17  *
18  * <h4>Example:</h4>
19  * <table width=100%>
20  * <tr>
21  * <td> @image html pex_g_notacc.png </td>
22  * </tr>
23  * </table>
24  *
25  * @param rGen
26  * Input generator
27  *
28  * @ingroup ExamplePlugin
29  *
30  */
31 
32 void AlternativeAccessible(Generator& rGen);
33 
34 
35 } // namespace faudes
36 
37 #endif
faudes::AlternativeAccessible
void AlternativeAccessible(Generator &rGen)
Definition: pex_altaccess.cpp:12
faudes::Generator
vGenerator Generator
Definition: cfl_generator.h:3194

libFAUDES 2.33h --- 2025.06.18 --- c++ api documentaion by doxygen

>>