libFAUDES

Sections

Index

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


Functions

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.

Example:

pex_g_notacc.png

Parameters:
rGen Input generator

libFAUDES 2.13a c++ source docu by doxygen 1.5.6