Example Plugin
[Plugins]


Detailed Description

Overview

This example demonstrates the libfaudes plugin mechanism and may serve as a template for setting up the file structure when developping a new plugin. At this point, you may want to give a short overview on your plugin.

License

The example plugin is distributed with libFAUDES and under the terms of the LGPL. For a plugin with a different license scheme you should add a note here.

Contents

void faudes::AlternativeAccessible (vGenerator &rGen)
 Alternative accessibility algorithm.


Function Documentation

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.

Parameters:
rGen Input generator

Definition at line 12 of file pex_altaccess.cpp.


Generated on Mon Nov 10 08:13:16 2008 for libFAUDES 2.11v by  doxygen 1.4.4