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_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.
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.

libFAUDES 2.24g --- 2014.09.15 --- c++ api documentaion by doxygen