libFAUDES

Sections

Index

PlugIns

Find below a list of all plug-ins that are installed and enabled in this copy of libFAUDES. More...

Modules

 Example PlugIn
 Synthesis Plug-In
 Observer PlugIn
 Fault Diagnosis Plug-In
 Hierarchical I/O Systems PlugIn
 I/O System PlugIn
 Multitasking PlugIn
 Timed Automata PlugIn
 Simulator PlugIn
 IO Device PlugIn
 Lua Bindings PlugIn

Detailed Description

Find below a list of all plug-ins that are installed and enabled in this copy of libFAUDES.

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

For instructions on how to compile libFAUDES, see the build-system documentation.

libFAUDES 2.18b --- 2010-12-17 --- c++ source docu by doxygen 1.6.3