About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES online
libFAUDES
C++ API
Sections
Sets
Generators
Functions
PlugIns
Tutorials
Index
Classes
Files
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
>>
C++ API
Introduction
Sets
Generators
Functions
PlugIns
Tutorials
Classes
Files
Top of Page