#include <ComposableModelSearch.hh>

Public Types
typedef DiagState	Node

Public Member Functions
	IsCandidate (const vector< EventOccurrence > &observations)

bool	isSolution (const Node &s)

Private Attributes
const vector< EventOccurrence > &	_observations

Detailed Description

Implements TSolution for searching into a ComposableModel and performing a diagnosis. A DiagState is a solution only if the number of observations before its occurrence is the size of the observed sequence in the FaultDiagProblem.

Definition at line 269 of file ComposableModelSearch.hh.

Member Typedef Documentation

◆ Node

typedef DiagState Diades::Automata::IsCandidate::Node

Definition at line 272 of file ComposableModelSearch.hh.

Constructor & Destructor Documentation

◆ IsCandidate()

Diades::Automata::IsCandidate::IsCandidate ( const vector< EventOccurrence > & observations )

inline

Definition at line 276 of file ComposableModelSearch.hh.

Member Function Documentation

◆ isSolution()

bool Diades::Automata::IsCandidate::isSolution ( const Node & s )

inline

Definition at line 277 of file ComposableModelSearch.hh.

References Diades::Automata::DiagState::obsNb().

Member Data Documentation

◆ _observations

const vector<EventOccurrence>& Diades::Automata::IsCandidate::_observations

private

Definition at line 274 of file ComposableModelSearch.hh.

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

/home/yannick/laas/redmine/tools/diades/include/diades/automata/ComposableModelSearch.hh

Public Types

Public Member Functions

Private Attributes