DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <Diagnose.hh>
Public Member Functions | |
Diagnose (const FaultDiagProblem &problem) | |
const History & | history () const |
Private Attributes | |
History | _hist |
Definition at line 17 of file Diagnose.hh.
|
inline |
Definition at line 22 of file Diagnose.hh.
References Diades::Automata::History::publishDiagnosis().
|
inline |
Definition at line 35 of file Diagnose.hh.
References Diades::Automata::Diagnose< ALG >::_hist.
Referenced by main().
|
private |
Definition at line 20 of file Diagnose.hh.
Referenced by Diades::Automata::Diagnose< ALG >::history().