libFAUDES

PlugIns

Functions

Example Plugin

The example plug-in addresses developpers who whish to integrate their functions and data-types with the libFAUDES build systems. It uses an alternative implementation of the function Accessible() to illustrate the the following options:
  • implementation of additional the respective algorithm via the libFAUDES C++ API; this includes technical documentation with doxygen tagged C++ code that integrates with the libFAUDES C++ API documentation;
  • automatic generation of corresponding luabundings using the interfac egenerator swig; this step provides access to the new functions and data-types for luafaudes scripts;
  • integration of the algorithm to the libFAUDES run-time interface; this step registers the new function in the function registry and introduces corresponding html documentation to the libFAUDES dictionary;
  • organisation of the C++ sources as libFAUDES plug-in; this step announces the source files to the build system.

AltAccessible

Alternative implementation to remove inaccessible states and related transitions.

Signature:

AltAccessible(+InOut+ Generator Gen)

libFAUDES 2.13a run-time interface with "example observer hiosys multitasking timed simulator luabindings"