Plugins


Detailed Description

Find below a list of all plugins that are installed and enabled in this copy of libfaudes.

To install a plugin, copy its sources into the plug directory of the libfaudes source tree. To enable a plugin, either edit the main Makefile of add its name to the FAUDES_PLUGINS environment variable. The example plugin further illustrates the plugin infrastructure.


Modules

 Example Plugin
 Observer Plugin
 Simulator Plugin
 Timed Automata Plugin


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