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 | 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 | exefaudes.cpp |
Example application for executor class. | |
file | simfaudes.cpp |
Simple simulator application for faudes generators. | |
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. |