PlugIns

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

Modules

 Synthesis Plug-In
 Observer PlugIn
 Observability Plug-In
 Fault Diagnosis Plug-In
 Hierarchical I/O Systems PlugIn
 I/O System PlugIn
 Multitasking PlugIn
 CoordinationControl Plug-In
 Pushdown PlugIn
 Timed Automata PlugIn
 Simulator PlugIn
 I/O 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.23h --- 2014.04.03 --- c++ api documentaion by doxygen