PlugIns

Modules
	Synthesis Plug-In
	Observer Plug-In
	Observability Plug-In
	Fault Diagnosis Plug-In
	Hierarchical I/O Systems Plug-In
	I/O System Plug-In
	Multitasking Plug-In
	CoordinationControl Plug-In
	Timed Automata Plug-In
	Simulator Plug-In
	I/O Device Plug-In
	Priorities Plug-In
	Lua Bindings Plug-In
	Hybrid Systems PlugIn
	Example PlugIn
	Python Bindings Plug-In

Detailed Description

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.