src Directory Reference

Files

file  mtc2dot.cpp [code]
 
file  mtc_attributes.cpp [code]
 Color attributes for states.
 
file  mtc_attributes.h [code]
 Color attributes for states.
 
file  mtc_colorset.cpp [code]
 Implements color sets for multitasking automata.
 
file  mtc_colorset.h [code]
 Implements color sets for multitasking automata.
 
file  mtc_generator.cpp [code]
 Methods for handling multitasking generators.
 
file  mtc_generator.h [code]
 Methods for handling multitasking generators.
 
file  mtc_include.h [code]
 Includes all multitasking plug-in headers.
 
file  mtc_observercomputation.cpp [code]
 Methods to compute natural projections that exhibit the obsrver property.
 
file  mtc_observercomputation.h [code]
 
file  mtc_obserververification.cpp [code]
 Methods to verify the obsrver condition for natural projections.
 
file  mtc_obserververification.h [code]
 Methods to verify the obsrver condition for natural projections.
 
file  mtc_parallel.cpp [code]
 Methods for parallel composition of multitasking generators.
 
file  mtc_parallel.h [code]
 Methods for parallel composition of multitasking generators.
 
file  mtc_project.cpp [code]
 Methods for computing the natural projection of multitasking generators.
 
file  mtc_project.h [code]
 Methods for computing the natural projection of multitasking generators.
 
file  mtc_redundantcolors.cpp [code]
 Methods for removing redundant colors for the supervisor synthesis from MtcSystems.
 
file  mtc_redundantcolors.h [code]
 Methods for removing redundant colors for the supervisor synthesis from MtcSystems.
 
file  mtc_statemin.cpp [code]
 State space minimization.
 
file  mtc_statemin.h [code]
 State space minimization.
 
file  mtc_supcon.cpp [code]
 Supremal controllable sublanguage and controllablity.
 
file  mtc_supcon.h [code]
 Supremal controllable sublanguage and controllablity.
 

libFAUDES 2.32f --- 2024.12.22 --- c++ api documentaion by doxygen