Diades::Automata::Diagnose< ALG > Class Template Reference

#include <Diagnose.hh>

Public Member Functions
	Diagnose (const FaultDiagProblem &problem)
const History &	history () const

Private Attributes
History	_hist

Detailed Description

template<typename ALG>
class Diades::Automata::Diagnose< ALG >

Definition at line 17 of file Diagnose.hh.

Constructor & Destructor Documentation

Diagnose()

template<typename ALG>

Diades::Automata::Diagnose< ALG >::Diagnose ( const FaultDiagProblem &  problem )

inline

Definition at line 22 of file Diagnose.hh.

References Diades::Automata::History::publishDiagnosis().

Member Function Documentation

history()

template<typename ALG>

const History& Diades::Automata::Diagnose< ALG >::history ( ) const

inline

Definition at line 35 of file Diagnose.hh.

References Diades::Automata::Diagnose< ALG >::_hist.

Referenced by main().

Member Data Documentation

_hist

template<typename ALG>

History Diades::Automata::Diagnose< ALG >::_hist

private

Definition at line 20 of file Diagnose.hh.

Referenced by Diades::Automata::Diagnose< ALG >::history().

---

The documentation for this class was generated from the following file:

• /home/yannick/laas/redmine/tools/diades/include/diades/automata/Diagnose.hh