libFAUDES

Sections

Index

pex_altaccess.h

Go to the documentation of this file.
00001 /** @file pex_altaccess.h Example plugin */
00002 
00003 #ifndef FAUDES_PEX_ALTACCESS_H
00004 #define FAUDES_PEX_ALTACCESS_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 AlternativeAccessible(vGenerator& rGen);
00033 
00034 
00035 } // namespace faudes
00036 
00037 #endif 

libFAUDES 2.16b --- 2010-9-8 --- c++ source docu by doxygen 1.6.3