libFAUDES

Sections

Index

Tutorials


Detailed Description

This module collects all tutorials.

The tutorials are seen as a pragmatic introduction to supplement the doxygen generated html documentaion of class and function definitions. Plug-Ins are meant to contribute additional tutorials to illustrate their intended usage.

To compile the tutorials call make with target "tutorial" in the "libfaudes" directory of the source tree:

$ make tutorial


Files

file  1_generator.cpp
 Tutorial, basic faudes::Generator methods.
file  2_sets.cpp
 Tutorial, container classes.
file  3_regular.cpp
 Tutorial, operations on genarators.
file  4_cgenerator.cpp
 Tutorial, std monolitic synthesis.
file  5_attributes.cpp
 Tutorial, attributes.
file  6_algorithm.cpp
 Tutorial, implementing generator algorithms.
file  7_interface.cpp
 Tutorial, runtime interface.
file  pex_tutorial.cpp
 Tutorial, example plugin.
file  op_ex_bisim.cpp
 Tutorial, computation of the coarsest quasi-congruence.
file  op_ex_mc.cpp
 This tutorial demonstrates methods for verifying the mutual controllability condition of two given automata.
file  op_ex_synthesis.cpp
 Tutorial, synthesis of natural projections with certain properties.
file  op_ex_verification.cpp
 Tutorial, verification of properties of natural projections.
file  hio_1_hiogenerators.cpp
 Tutorial, i/o system generator classes.
file  hio_2_hiofunctions.cpp
 Tutorial, functions provided by hiosys plugin.
file  mtc_1_generators.cpp
 Tutorial, mtcGenerator methods.
file  mtc_2_functions.cpp
 Tutorial, mtcGenerator functions eg parallel, project etc.
file  mtc_3_observer.cpp
 Tutorial, mtcGenerator observer computation.
file  tp_1_tgenerator.cpp
 Tutorial, class faudes::tGenerator.
file  tp_2_constraints.cpp
 Tutorial, class faudes::TimeConstraint.
file  tp_3_parallel.cpp
 Tutorial, timed parallel composition.
file  exefaudes.cpp
 Example application for executor class.
file  simfaudes.cpp
 Simple simulator application for faudes generators.
file  luafaudes.cpp
 Simple Lua stand-alone interpreter for lua/faudes.

libFAUDES 2.13a c++ source docu by doxygen 1.5.6