About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES online
libFAUDES
C++ API
Sections
Sets
Generators
Functions
PlugIns
Tutorials
Index
Classes
Files
src Directory Reference
Files
file
op_debug.h
[code]
file
op_include.h
[code]
Includes all observer plugin headers.
file
op_mc.cpp
[code]
Method to verify mutual controllability for two given generators.
file
op_mc.h
[code]
Method to verify mutual controllability for two given generators.
file
op_observercomputation.cpp
[code]
Methods to compute natural projections that exhibit the obsrver property.
file
op_observercomputation.h
[code]
Methods to compute natural projections that exhibit the observer property.
file
op_obserververification.cpp
[code]
Methods to verify the obsrver condition for natural projections.
file
op_obserververification.h
[code]
Methods to verify the obsrver condition for natural projections.
libFAUDES 2.32f
--- 2024.12.22 --- c++ api documentaion by
doxygen
>>
C++ API
Introduction
Sets
Generators
Functions
PlugIns
Tutorials
Classes
Files
Top of Page