About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES online
libFAUDES
C++ API
Sections
Sets
Generators
Functions
PlugIns
Tutorials
Index
Classes
Files
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
>>
C++ API
Introduction
Sets
Generators
Functions
PlugIns
Tutorials
Classes
Files
Top of Page