tutorial Directory Reference

Files

file  pd_alg_first_test.cpp [code]
 Unit Tests.
file  pd_alg_first_test.h [code]
 Unit Tests.
file  pd_alg_lrm_test.cpp [code]
 Unit Tests.
file  pd_alg_lrm_test.h [code]
 Unit Tests.
file  pd_alg_lrp_test.cpp [code]
 Unit Tests.
file  pd_alg_lrp_test.h [code]
 Unit Tests.
file  pd_alg_main_test.cpp [code]
file  pd_alg_main_test.h [code]
file  pd_alg_sub_test.cpp [code]
file  pd_alg_sub_test.h [code]
file  pd_algo_test.cpp [code]
 Test, pushdown plugin.
file  pd_blockfree_test.cpp [code]
 This file tests the blockfree algorithm.
file  pd_controllable_test.cpp [code]
 This file tests the algorithm to ensure the controllability of a controller.
file  pd_controller_test.cpp [code]
 Tests the result of the synthesis algorithm.
file  pd_counterexample_griffin.cpp [code]
 Synthesizes the minimal restrictive supervisor for a combination of plant and specification presented in the appendix of the technical report by Schneider and Schmuck (referenced at the webpage of this plugin).
file  pd_example_WODES14_nonblock.cpp [code]
file  pd_pushdown_V2.cpp [code]
 Construct a controller from given files.
file  pd_test_util.cpp [code]
 Creation of test classes.
file  pd_test_util.h [code]
 Creation of test classes.
file  pd_tutorial.cpp [code]
 Tutorial, example plugin.

libFAUDES 2.26g --- 2015.08.17 --- c++ api documentaion by doxygen