|
Go to the source code of this file.
|
bool | faudes::IsCoDiagnosable (const System &rGen, const Generator &rSpec, const vector< const EventSet * > &rAlphabets, std::string &rReportString) |
|
bool | faudes::DecentralizedDiagnoser (const System &rGen, const Generator &rSpec, const std::vector< const EventSet * > &rAlphabets, std::vector< Diagnoser * > &rDiags, std::string &rReportString) |
|
bool | faudes::IsCoDiagnosable (const System &rGen, const Generator &rSpec, const EventSetVector &rAlphabets) |
|
bool | faudes::DecentralizedDiagnoser (const System &rGen, const Generator &rSpec, const EventSetVector &rAlphabets, GeneratorVector &rDiags) |
|
void | faudes::DecentralizedModularDiagnoser (const SystemVector &rGens, const Generator &rSpec, GeneratorVector &rDiags) |
|
|
void | faudes::DecentralizedModularDiagnoser (const std::vector< const System * > &rGens, const Generator &rSpec, std::vector< Diagnoser * > &rDiags, std::string &rReportString) |
|
Functions to test decentralized diagnosability and compute diagnosers.
Definition in file diag_decentralizeddiagnosis.cpp.
libFAUDES 2.33c
--- 2025.05.15
--- c++ api documentaion by doxygen
|