Diades::Automata::NextTransitions Class Reference

#include <ComposableModelSearch.hh>

Classes
struct	Iterator

Public Types
typedef DiagState	Node
typedef Transition	Edge
typedef ComposableModel	Graph

Public Member Functions
	NextTransitions (const Graph &model, const Node &dstate, const IncorrectPath &cut)
Iterator	begin () const
Iterator	end () const

Private Attributes
const Graph &	_model
const Node &	_dstate
const IncorrectPath &	_cut

Detailed Description

Implements TIncidentEdges for searching into a ComposableModel and performing a diagnosis. The underlying graph is a ComposableModel. Only the edges not rejected by IncorrectPath are considered during the search.

Definition at line 130 of file ComposableModelSearch.hh.

Member Typedef Documentation

Edge

typedef Transition Diades::Automata::NextTransitions::Edge

Definition at line 134 of file ComposableModelSearch.hh.

Graph

typedef ComposableModel Diades::Automata::NextTransitions::Graph

Definition at line 135 of file ComposableModelSearch.hh.

Node

typedef DiagState Diades::Automata::NextTransitions::Node

Definition at line 133 of file ComposableModelSearch.hh.

Constructor & Destructor Documentation

NextTransitions()

Diades::Automata::NextTransitions::NextTransitions ( const Graph &  model, const Node &  dstate, const IncorrectPath &  cut  )

inline

Definition at line 214 of file ComposableModelSearch.hh.

Member Function Documentation

begin()

Iterator Diades::Automata::NextTransitions::begin ( ) const

inline

Definition at line 216 of file ComposableModelSearch.hh.

References Diades::Automata::DiagState::obsNb(), Diades::Automata::ComposableModel::outputTransitionBegin(), Diades::Automata::ComposableModel::outputTransitionEnd(), and Diades::Automata::DiagState::state().

end()

Iterator Diades::Automata::NextTransitions::end ( ) const

inline

Definition at line 217 of file ComposableModelSearch.hh.

References Diades::Automata::DiagState::obsNb(), Diades::Automata::ComposableModel::outputTransitionEnd(), and Diades::Automata::DiagState::state().

Member Data Documentation

_cut

const IncorrectPath& Diades::Automata::NextTransitions::_cut

private

Definition at line 140 of file ComposableModelSearch.hh.

_dstate

const Node& Diades::Automata::NextTransitions::_dstate

private

Definition at line 139 of file ComposableModelSearch.hh.

_model

const Graph& Diades::Automata::NextTransitions::_model

private

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