Modules
Here is a list of all modules:
[detail level 123]
 Run-Time InterfaceThe libFAUDES run-time interface (RTI) facilitates the development of applications that are transparent to libFAUDES extensions, e.g., the libFAUDES version of the Lua interpreter luafaudes and the graphical user interface DESTool
 Generator ClassesA generator is a tupel G = (Q, Sigma, Delta, Qo, Qm)
 State, Event and Transition SetThis module collects all basic container classes aka state- event- and transition-sets, e.g.,
 General Purpose FunctionsThis module collects general purpose functions on Generator, System, EventSet and Alphabet typed data
 TutorialsThis module collects all tutorials
 PlugInsList of all plug-ins that are installed and enabled in this copy of libFAUDES
 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
 Timed Automata PlugIn
 Simulator PlugIn
 Random VariablesSampling or evaluating random variables for simulation
 Simulation Condition AttributesAttributes to define simulation conditions used for statistic analysis of simulation runs
 Simulation Event AttributesAttributes to define stochastic and priority properties
 I/O Device PlugIn
 Lua Bindings PlugIn
 Faudes object serialization.Objects of a class derived from the universal base faudes::Type provide a uniform interface for serialization, which are to be implemented for derived classes
 Classes

libFAUDES 2.32f --- 2024.12.22 --- c++ api documentaion by doxygen