Diades::Automata::IncorrectPath Class Reference

#include <ComposableModelSearch.hh>

Public Types
typedef Transition	Edge
typedef ComposableModel	Graph

Public Member Functions
	IncorrectPath (const Graph &model, const unordered_set< Event > &observables, const vector< EventOccurrence > &observations)
bool	noGood (unsigned nbObs, const Edge &t) const

Private Attributes
const Graph &	_model
const unordered_set< Event > &	_observables
const vector< EventOccurrence > &	_observations

Detailed Description

Implements TPathCut for searching into a ComposableModel and performing a diagnosis. If the current edge is observable but is not compatible with the sequence of observation, the edge is not triggerable and must be pruned.

Definition at line 97 of file ComposableModelSearch.hh.

Member Typedef Documentation

Edge

typedef Transition Diades::Automata::IncorrectPath::Edge

Definition at line 100 of file ComposableModelSearch.hh.

Graph

typedef ComposableModel Diades::Automata::IncorrectPath::Graph

Definition at line 101 of file ComposableModelSearch.hh.

Constructor & Destructor Documentation

IncorrectPath()

Diades::Automata::IncorrectPath::IncorrectPath ( const Graph &  model, const unordered_set< Event > &  observables, const vector< EventOccurrence > &  observations  )

inline

Definition at line 108 of file ComposableModelSearch.hh.

Member Function Documentation

noGood()

bool Diades::Automata::IncorrectPath::noGood ( unsigned  nbObs, const Edge &  t  ) const

inline

Definition at line 111 of file ComposableModelSearch.hh.

References Diades::Automata::ComposableModel::component(), and Diades::Automata::Component::getEvent().

Referenced by Diades::Automata::NextTransitions::Iterator::Iterator(), and Diades::Automata::NextTransitions::Iterator::operator++().

Member Data Documentation

_model

const Graph& Diades::Automata::IncorrectPath::_model

private

Definition at line 103 of file ComposableModelSearch.hh.

_observables

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

private

Definition at line 104 of file ComposableModelSearch.hh.

_observations

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

private

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