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