Example Code and Data


Detailed Description

This module collects all tutorials.

The tutorials are seen as a pragmatic introduction to supplement the doxygen generated html documentaion of the class definitions.


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


Generated on Fri May 9 11:26:48 2008 for libFAUDES 2.09b by  doxygen 1.4.4