|
libFAUDES User ReferenceThe user reference provides libFAUDES documentation on faudes-types and faudes-functions relevant to users of libFAUDES based applicatione like e.g. luafaudes or DESTool. The user reference is complemented by the comprehensive and more technical C++ API documentation. A good starting point for a first reading is Section CoreFaudes, which documents general purpose functions on generators, e.g. regular expressions. The remaining sections loosely correspond to libFAUDES plug-ins and lua-extensions, which provide specialised faudes-types and faudes-functions to address specific approaches to the design or analysis of discrete event systems. The user reference is organized as follows:
libFAUDES 2.28a --- 2016.09.13 --- with "timed-iodevice-simulator" |