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.28c --- 2016.09.30 --- c++ api documentaion by doxygen