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.
|