Diades::Automata::TargetDiagState Class Reference

#include <ComposableModelSearch.hh>

Public Types
typedef DiagState	Node
typedef Transition	Edge
typedef ComposableModel	Graph

Public Member Functions
	TargetDiagState (const Graph &model, const unordered_set< Event > &observables, const unordered_set< Event > &faults)
Node	next (const Edge &t, const Node &s) const

Private Attributes
const Graph &	_model
const unordered_set< Event > &	_observables
const unordered_set< Event > &	_faults

Detailed Description

This class implements TOpposite for searching into a ComposableModel and performing a diagnosis. It provides the target of any considered transitions (forward searching)

Definition at line 227 of file ComposableModelSearch.hh.

Member Typedef Documentation

Edge

typedef Transition Diades::Automata::TargetDiagState::Edge

Definition at line 231 of file ComposableModelSearch.hh.

Graph

typedef ComposableModel Diades::Automata::TargetDiagState::Graph

Definition at line 232 of file ComposableModelSearch.hh.

Node

typedef DiagState Diades::Automata::TargetDiagState::Node

Definition at line 230 of file ComposableModelSearch.hh.

Constructor & Destructor Documentation

TargetDiagState()

Diades::Automata::TargetDiagState::TargetDiagState ( const Graph &  model, const unordered_set< Event > &  observables, const unordered_set< Event > &  faults  )

inline

Definition at line 240 of file ComposableModelSearch.hh.

Member Function Documentation

next()

Node Diades::Automata::TargetDiagState::next ( const Edge &  t, const Node &  s  ) const

inline

Definition at line 244 of file ComposableModelSearch.hh.

References Diades::Automata::DiagState::addFault(), Diades::Automata::ComposableModel::component(), Diades::Automata::Component::getEvent(), Diades::Automata::DiagState::incrObsNb(), and Diades::Automata::DiagState::setState().

Member Data Documentation

_faults

const unordered_set<Event>& Diades::Automata::TargetDiagState::_faults

private

Definition at line 237 of file ComposableModelSearch.hh.

_model

const Graph& Diades::Automata::TargetDiagState::_model

private

Definition at line 235 of file ComposableModelSearch.hh.

_observables

const unordered_set<Event>& Diades::Automata::TargetDiagState::_observables

private

Definition at line 236 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