src Directory Reference

Files

file  diag2dot.cpp [code]
 
file  diag_attrdiagstate.cpp [code]
 Implements state estimates for the current status of the generator (as state attributes).
 
file  diag_attrdiagstate.h [code]
 State estimates for the current status of the generator (as state attributes).
 
file  diag_attrfailureevents.cpp [code]
 Implements failure and indicator events belonging to a common partition.
 
file  diag_attrfailureevents.h [code]
 Failure and indicator events for a common failure type.
 
file  diag_attrfailuretypes.cpp [code]
 Failure and indicator partition for a system (used as global attribute).
 
file  diag_attrfailuretypes.h [code]
 Contains the failure and indicator partition for a system (used as global attribute).
 
file  diag_attrlabelset.cpp [code]
 Implements the label representation for state estimates.
 
file  diag_attrlabelset.h [code]
 Label representation for state estimates.
 
file  diag_debug.h [code]
 Includes debugging to diagnosis plug-in.
 
file  diag_decentralizeddiagnosis.cpp [code]
 Functions to test decentralized diagnosability and compute diagnosers.
 
file  diag_decentralizeddiagnosis.h [code]
 Functions to check a system's decentralized diagnosability.
 
file  diag_eventdiagnosis.cpp [code]
 Functions to check a system's event-diagnosability and computation of an event-diagnoser.
 
file  diag_eventdiagnosis.h [code]
 Functions to check a system's diagnosability with respect to failure events (diagnosability and I-diagnosability) and computation of an event-diagnoser.
 
file  diag_generator.cpp [code]
 Structure of diagnosers and methods to handle them.
 
file  diag_generator.h [code]
 Structure of diagnosers and methods to handle them.
 
file  diag_include.h [code]
 Includes all header files of the diagnosis plug-in.
 
file  diag_languagediagnosis.cpp [code]
 Functions to check a system's language-diagnosability and compute a language-diagnoser.
 
file  diag_languagediagnosis.h [code]
 Functions to check a system's diagnosability with respect to a specification automaton and compute a language-diagnoser.
 
file  diag_modulardiagnosis.cpp [code]
 Functions to test modular diagnosability and compute modular diagnosers.
 
file  diag_modulardiagnosis.h [code]
 Functions to check a system's decentralized diagnosability.
 

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