Tutorials

Files
file	1_generator.cpp
file	2_containers.cpp
file	3_functions.cpp
file	4_cgenerator.cpp
file	5_attributes.cpp
file	6_algorithm.cpp
file	7_interface.cpp
file	syn_1_simple.cpp
file	syn_2_omega.cpp
file	syn_3_reduction.cpp
file	syn_6_compsynth.cpp
file	syn_7_compsynth.cpp
file	op_ex_bisim.cpp
file	op_ex_mc.cpp
file	op_ex_synthesis.cpp
file	op_ex_verification.cpp
file	syn_1_simple.cpp
file	diag_1_eventdiagnosis.cpp
file	diag_2_languagediagnosis.cpp
file	diag_3_modulardiagnosis.cpp
file	diag_4_decentralizeddiagnosis.cpp
file	hio_1_introduction.cpp
file	hio_2_hiogenerators.cpp
file	hio_3_hiofunctions.cpp
file	hio_4_transport_unit.cpp
file	hio_5_conveyor_belts.cpp
file	ios_1_system.cpp
file	ios_2_synthesis.cpp
file	mtc_1_generators.cpp
file	mtc_2_functions.cpp
file	mtc_3_observer.cpp
file	con_1_simple.cpp
file	con_2_simple.cpp
file	tp_1_tgenerator.cpp
file	tp_2_constraints.cpp
file	tp_3_parallel.cpp
file	exefaudes.cpp
file	simfaudes.cpp
file	iobridge.cpp
file	iomonitor.cpp
file	pev_1_priorities.cpp
file	lbp_1_extension.cpp
file	luafaudes.cpp
file	hyb_1_hautomata.cpp
file	hyb_2_reachability.cpp
file	hyb_5_controlB.cpp
file	hyb_6_robotex.cpp
file	pex_tutorial.cpp

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