Example PlugIn

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

Functions
void	faudes::AlternativeAccessible (Generator &rGen)

Function Documentation

AlternativeAccessible()

void faudes::AlternativeAccessible

(

Generator &

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.

Example:

Parameters

rGen	Input generator

Definition at line 12 of file pex_altaccess.cpp.