PlugIns

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

Modules

 Timed Automata PlugIn
 I/O Device PlugIn
 Simulator 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.28a --- 2016.09.13 --- c++ api documentaion by doxygen