Diades::Automata::DiagState Class Reference

#include <ComposableModelSearch.hh>

Public Member Functions
	DiagState (const State &state, const unordered_set< Event > &faults, unsigned obsNb)
	DiagState (const DiagState &dstate)
const State &	state () const
const unordered_set< Event > &	faults () const
unsigned	obsNb () const
void	addFault (const Event &event)
unsigned	incrObsNb ()
void	setState (const State &state)
bool	operator== (const DiagState &dstate) const
bool	operator!= (const DiagState &dstate) const

Private Attributes
State	_state
unordered_set< Event >	_faults
unsigned	_obsNb

Detailed Description

Implements a TIncidentEdges::Node for searching into a ComposableModel and performing a diagnosis. A DiagState is triple (ComposableModel::State, number of observations before reaching this state, set of faults that has occurred before reaching this state)

Definition at line 18 of file ComposableModelSearch.hh.

Constructor & Destructor Documentation

DiagState() [1/2]

Diades::Automata::DiagState::DiagState ( const State &  state, const unordered_set< Event > &  faults, unsigned  obsNb  )

inline

Definition at line 25 of file ComposableModelSearch.hh.

DiagState() [2/2]

Diades::Automata::DiagState::DiagState ( const DiagState &  dstate )

inline

Definition at line 26 of file ComposableModelSearch.hh.

Member Function Documentation

addFault()

void Diades::Automata::DiagState::addFault ( const Event &  event )

inline

Definition at line 30 of file ComposableModelSearch.hh.

Referenced by Diades::Automata::TargetDiagState::next().

faults()

const unordered_set<Event>& Diades::Automata::DiagState::faults ( ) const

inline

Definition at line 28 of file ComposableModelSearch.hh.

References _faults.

Referenced by Diades::Automata::ComposableModelSearch< Algorithm >::diagnosis(), Diades::Automata::ComposableModelSearch< Algorithm >::initialize(), Diades::Automata::VisitedDiagState::isMarked(), Diades::Automata::VisitedDiagState::mark(), Diades::Automata::operator<<(), operator==(), and Diades::Automata::VisitedDiagState::unmark().

incrObsNb()

unsigned Diades::Automata::DiagState::incrObsNb ( )

inline

Definition at line 31 of file ComposableModelSearch.hh.

References _obsNb.

Referenced by Diades::Automata::TargetDiagState::next().

obsNb()

unsigned Diades::Automata::DiagState::obsNb ( ) const

inline

Definition at line 29 of file ComposableModelSearch.hh.

References _obsNb.

Referenced by Diades::Automata::NextTransitions::begin(), Diades::Automata::NextTransitions::end(), Diades::Automata::VisitedDiagState::isMarked(), Diades::Automata::IsCandidate::isSolution(), Diades::Automata::VisitedDiagState::mark(), Diades::Automata::operator<<(), operator==(), and Diades::Automata::VisitedDiagState::unmark().

operator!=()

bool Diades::Automata::DiagState::operator!= ( const DiagState &  dstate ) const

inline

Definition at line 34 of file ComposableModelSearch.hh.

operator==()

bool Diades::Automata::DiagState::operator== ( const DiagState &  dstate ) const

inline

Definition at line 33 of file ComposableModelSearch.hh.

References faults(), obsNb(), and state().

setState()

void Diades::Automata::DiagState::setState ( const State &  state )

inline

Definition at line 32 of file ComposableModelSearch.hh.

References state().

Referenced by Diades::Automata::TargetDiagState::next().

state()

const State& Diades::Automata::DiagState::state ( ) const

inline

Definition at line 27 of file ComposableModelSearch.hh.

References _state.

Referenced by Diades::Automata::NextTransitions::begin(), Diades::Automata::ComposableModelSearch< Algorithm >::diagnosis(), Diades::Automata::NextTransitions::end(), Diades::Automata::VisitedDiagState::isMarked(), Diades::Automata::VisitedDiagState::mark(), Diades::Automata::operator<<(), operator==(), setState(), and Diades::Automata::VisitedDiagState::unmark().

Member Data Documentation

_faults

unordered_set<Event> Diades::Automata::DiagState::_faults

private

Definition at line 22 of file ComposableModelSearch.hh.

Referenced by faults().

_obsNb

unsigned Diades::Automata::DiagState::_obsNb

private

Definition at line 23 of file ComposableModelSearch.hh.

Referenced by incrObsNb(), and obsNb().

_state

State Diades::Automata::DiagState::_state

private

Definition at line 21 of file ComposableModelSearch.hh.

Referenced by state().

---

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

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