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