diag_languagediagnosis.cpp File Reference

#include "diag_languagediagnosis.h"

Go to the source code of this file.

Namespaces
	faudes

Functions
bool	faudes::IsLanguageDiagnosable (const System &rGen, const System &rSpec)
void	faudes::ComputeGobs (const System &rGenMarkedNonSpecBehaviour, Diagnoser &rGobs)
void	faudes::ComputeReachability (const System &rGen, const EventSet &rUnobsEvents, Idx State, map< Idx, multimap< Idx, DiagLabelSet > > &rReachabilityMap)
void	faudes::ComputeReachabilityRecursive (const System &rGen, const EventSet &rUnobsEvents, Idx State, StateSet done, map< Idx, multimap< Idx, DiagLabelSet > > &rReachabilityMap)
bool	faudes::IsLanguageDiagnosable (const System &rGen, const System rSpec, std::string &rReportString)
bool	faudes::rec_ComputeLoopPreservingObserver (const System &rGen, const EventSet &rInitialHighAlph, EventSet &rHighAlph, const std::vector< Idx > &rDiffVector, Idx numberEvents, Idx currentNumberEvents, Idx currentLocation, EventSet chosenEvents)
Functions (diagnoser computation)
void	faudes::LanguageDiagnoser (const System &rGen, const System &rSpec, Diagnoser &rDiagGen)
Functions (verification and computation of loop-preserving observers)
bool	faudes::IsLoopPreservingObserver (const System &rGen, const EventSet &rHighAlph)
void	faudes::LoopPreservingObserver (const System &rGen, const EventSet &rInitialHighAlph, EventSet &rHighAlph)

Detailed Description

Functions to check a system's language-diagnosability and compute a language-diagnoser.

(c) 2009, Tobias Barthel, Thomas Moor, Klaus Schmidt.

Definition in file diag_languagediagnosis.cpp.