DiaDes  0.1
DIAgnosis of Discrete-Event System
Public Member Functions | Private Attributes | List of all members
Diades::Automata::ComposableModelSearch< Algorithm > Class Template Reference

#include <ComposableModelSearch.hh>

Public Member Functions

 ComposableModelSearch (const FaultDiagProblem &problem)
 
 ~ComposableModelSearch ()
 
void destroy ()
 
void initialize ()
 
bool finished () const
 
void next ()
 
bool updated () const
 
const Diagnosisdiagnosis ()
 
const FaultDiagProblemproblem () const
 

Private Attributes

list< typename Algorithm::Search::Node > _initialDiagStates
 
list< typename Algorithm::Search::Node > _results
 
Algorithm::Search::Solution * _isCandidate
 
Algorithm::Search::PathCut * _incorrectPath
 
Algorithm::Search::Opposite * _targetDiagState
 
Diagnosis _diagnosis
 
const FaultDiagProblem_problem
 
ComposableModel_model
 
vector< const ComposableModel * > _compModels
 
Algorithm * _search
 

Detailed Description

template<class Algorithm>
class Diades::Automata::ComposableModelSearch< Algorithm >

Generic search on a ComposableModel. It can be a BFS (see FBFS) of a DFS (see FDFS) It implements what is required by the template Diagnose for "ANY" exploration on a ComposableModel.

Definition at line 290 of file ComposableModelSearch.hh.

Constructor & Destructor Documentation

◆ ComposableModelSearch()

template<class Algorithm >
Diades::Automata::ComposableModelSearch< Algorithm >::ComposableModelSearch ( const FaultDiagProblem problem)
inline

Definition at line 305 of file ComposableModelSearch.hh.

◆ ~ComposableModelSearch()

template<class Algorithm >
Diades::Automata::ComposableModelSearch< Algorithm >::~ComposableModelSearch ( )
inline

Definition at line 311 of file ComposableModelSearch.hh.

Member Function Documentation

◆ destroy()

template<class Algorithm >
void Diades::Automata::ComposableModelSearch< Algorithm >::destroy ( )
inline

Definition at line 314 of file ComposableModelSearch.hh.

◆ diagnosis()

template<class Algorithm >
const Diagnosis& Diades::Automata::ComposableModelSearch< Algorithm >::diagnosis ( )
inline

◆ finished()

template<class Algorithm >
bool Diades::Automata::ComposableModelSearch< Algorithm >::finished ( ) const
inline

Definition at line 390 of file ComposableModelSearch.hh.

◆ initialize()

template<class Algorithm >
void Diades::Automata::ComposableModelSearch< Algorithm >::initialize ( )
inline

◆ next()

template<class Algorithm >
void Diades::Automata::ComposableModelSearch< Algorithm >::next ( )
inline

Definition at line 391 of file ComposableModelSearch.hh.

◆ problem()

template<class Algorithm >
const FaultDiagProblem& Diades::Automata::ComposableModelSearch< Algorithm >::problem ( ) const
inline

Definition at line 433 of file ComposableModelSearch.hh.

◆ updated()

template<class Algorithm >
bool Diades::Automata::ComposableModelSearch< Algorithm >::updated ( ) const
inline

Definition at line 392 of file ComposableModelSearch.hh.

Member Data Documentation

◆ _compModels

template<class Algorithm >
vector<const ComposableModel *> Diades::Automata::ComposableModelSearch< Algorithm >::_compModels
private

Definition at line 301 of file ComposableModelSearch.hh.

◆ _diagnosis

template<class Algorithm >
Diagnosis Diades::Automata::ComposableModelSearch< Algorithm >::_diagnosis
private

Definition at line 298 of file ComposableModelSearch.hh.

◆ _incorrectPath

template<class Algorithm >
Algorithm::Search::PathCut* Diades::Automata::ComposableModelSearch< Algorithm >::_incorrectPath
private

Definition at line 296 of file ComposableModelSearch.hh.

◆ _initialDiagStates

template<class Algorithm >
list<typename Algorithm::Search::Node> Diades::Automata::ComposableModelSearch< Algorithm >::_initialDiagStates
private

Definition at line 293 of file ComposableModelSearch.hh.

◆ _isCandidate

template<class Algorithm >
Algorithm::Search::Solution* Diades::Automata::ComposableModelSearch< Algorithm >::_isCandidate
private

Definition at line 295 of file ComposableModelSearch.hh.

◆ _model

template<class Algorithm >
ComposableModel* Diades::Automata::ComposableModelSearch< Algorithm >::_model
private

Definition at line 300 of file ComposableModelSearch.hh.

◆ _problem

template<class Algorithm >
const FaultDiagProblem& Diades::Automata::ComposableModelSearch< Algorithm >::_problem
private

Definition at line 299 of file ComposableModelSearch.hh.

◆ _results

template<class Algorithm >
list<typename Algorithm::Search::Node> Diades::Automata::ComposableModelSearch< Algorithm >::_results
private

Definition at line 294 of file ComposableModelSearch.hh.

◆ _search

template<class Algorithm >
Algorithm* Diades::Automata::ComposableModelSearch< Algorithm >::_search
private

Definition at line 302 of file ComposableModelSearch.hh.

◆ _targetDiagState

template<class Algorithm >
Algorithm::Search::Opposite* Diades::Automata::ComposableModelSearch< Algorithm >::_targetDiagState
private

Definition at line 297 of file ComposableModelSearch.hh.


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