pd_test.h

Go to the documentation of this file.
00001 /** @file pd_test.h Example plugin */
00002 
00003 #ifndef FAUDES_PD_TEST_H
00004 #define FAUDES_PD_TEST_H
00005 
00006 #include "corefaudes.h"
00007 
00008 namespace faudes {
00009 
00010 
00011 /**
00012  * Alternative accessibility algorithm. 
00013  * We use the alternative accessibility algorithm from tutorial 6 
00014  * for our example plugin. The implementation uses a todo stack to discover
00015  * accessible states and finaly remove all other states from the
00016  * input generator.
00017  *
00018  * <h4>Example:</h4>
00019  * <table width=100%> 
00020  * <tr>
00021  * <td> @image html pex_g_notacc.png </td>
00022  * </tr>
00023  * </table> 
00024  *
00025  * @param rGen
00026  *   Input generator
00027  *
00028  * @ingroup ExamplePlugin 
00029  *
00030  */
00031 
00032 void TestAlternativeAccessible(Generator& rGen);
00033 
00034 
00035 } // namespace faudes
00036 
00037 #endif 

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen