src Directory Reference


Files

file  op_bisimulation.cpp [code]
 Methods to compute bisimulations on dynamic systems (represented by a finite automaton).
file  op_bisimulation.h [code]
 Methods to compute bisimulations on dynamic systems (represented by a finite automaton).
file  op_debug.h [code]
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_observer.h [code]
 Includes all observer plugin headers.
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 obsrver 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.
file  op_partition.cpp [code]
 Data structure that implements an equivalence class in the bisimulation algorithm.
file  op_partition.h [code]
 Data structure that implements an equivalence class in the bisimulation algorithm.


Generated on Fri May 9 11:26:48 2008 for libFAUDES 2.09b by  doxygen 1.4.4