Diades::Automata::VisitedDiagState Class Reference

#include <ComposableModelSearch.hh>

Public Types
typedef DiagState	Node
typedef ComposableModel	Graph

Public Member Functions
	VisitedDiagState (const ComposableModel &model)
void	mark (const Node &s)
bool	isMarked (const Node &s)
void	unmark (const Node &s)

Private Attributes
Diades::Graph::ConstNodeMap< vector< list< unordered_set< Event > > > >	_visited

Detailed Description

Implements TMark for searching into a ComposableModel and performing a diagnosis. Checks whether a DiagState has been visited or not.

Todo:

find a more efficient to encode an unordered_set<Event> (bitsets/bdds ??)

Definition at line 50 of file ComposableModelSearch.hh.

Member Typedef Documentation

Graph

typedef ComposableModel Diades::Automata::VisitedDiagState::Graph

Definition at line 54 of file ComposableModelSearch.hh.

Node

typedef DiagState Diades::Automata::VisitedDiagState::Node

Definition at line 53 of file ComposableModelSearch.hh.

Constructor & Destructor Documentation

VisitedDiagState()

Diades::Automata::VisitedDiagState::VisitedDiagState ( const ComposableModel &  model )

inline

Definition at line 59 of file ComposableModelSearch.hh.

Member Function Documentation

isMarked()

bool Diades::Automata::VisitedDiagState::isMarked ( const Node &  s )

inline

Definition at line 69 of file ComposableModelSearch.hh.

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

mark()

void Diades::Automata::VisitedDiagState::mark ( const Node &  s )

inline

Definition at line 60 of file ComposableModelSearch.hh.

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

unmark()

void Diades::Automata::VisitedDiagState::unmark ( const Node &  s )

inline

Definition at line 80 of file ComposableModelSearch.hh.

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

Member Data Documentation

_visited

Diades::Graph::ConstNodeMap< vector< list< unordered_set<Event> > > > Diades::Automata::VisitedDiagState::_visited

private

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