diag_modulardiagnosis.cpp File Reference

Functions to test modular diagnosability and compute modular diagnosers. More...

#include "diag_modulardiagnosis.h"

Go to the source code of this file.

Namespaces

namespace  faudes
 

libFAUDES resides within the namespace faudes.


Functions

bool faudes::IsModularDiagnosable (const SystemVector &rGsubs, const GeneratorVector &rKsubs, string &rReportString)
bool faudes::IsModularDiagnosable (const vector< const System * > &rGSubs, const vector< const Generator * > &rKSubs, std::string &rReportString)
bool faudes::ModularDiagnoser (const SystemVector &rGsubs, const GeneratorVector &rKsubs, GeneratorVector &rDiagSubs, string &rReportString)
bool faudes::ModularDiagnoser (const std::vector< const System * > &rGsubs, const std::vector< const Generator * > &rKsubs, std::vector< Diagnoser * > &rDiagsubs, std::string &rReportString)
 Checks modular diagnosability for a system G (which consists of the subsystems rGsubs) with respect to the specification K (consisting of local specifications rKsubs) and the local abstraction alphabets rHighAlphSubs.
bool faudes::IsModularDiagnosable (const SystemVector &rGsubs, const GeneratorVector &rKsubs)
 Function definition for run-time interface.
bool faudes::ModularDiagnoser (const SystemVector &rGsubs, const GeneratorVector &rKsubs, GeneratorVector &rDiagsubs)
 Function definition for run-time interface.
void faudes::cParallel (const vector< System > &rGens, System &rResGen)

Detailed Description

Functions to test modular diagnosability and compute modular diagnosers.

Definition in file diag_modulardiagnosis.cpp.

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen