Diades::Automata::ConsistencyBasedDiagnosis Class Reference

#include <ConsistencyBasedDiagnosis.hh>

Public Member Functions
	ConsistencyBasedDiagnosis (const vector< ObservableComponent > &components, const vector< ObservableComponent > &uniBehaviours, const SynchronisationRules &rules, const vector< string > &observations)
	ConsistencyBasedDiagnosis (const ConsistencyBasedDiagnosis &cbDiagnosis)
virtual	~ConsistencyBasedDiagnosis ()
bool	checkConsistency (const vector< size_t > &configuration, Trace &consistentLanguage)
bool	isConflict (const vector< size_t > &configuration)

Private Attributes
const vector< ObservableComponent > &	_components
const vector< ObservableComponent > &	_uniBehaviours
const SynchronisationRules &	_rules
const vector< string > &	_observations
unordered_map< string, const ObservableMask * >	_masks

Detailed Description

Definition at line 20 of file ConsistencyBasedDiagnosis.hh.

Constructor & Destructor Documentation

ConsistencyBasedDiagnosis() [1/2]

Diades::Automata::ConsistencyBasedDiagnosis::ConsistencyBasedDiagnosis	(	const vector< ObservableComponent > &	components,
		const vector< ObservableComponent > &	uniBehaviours,
		const SynchronisationRules &	rules,
		const vector< string > &	observations
	)

ConsistencyBasedDiagnosis() [2/2]

Diades::Automata::ConsistencyBasedDiagnosis::ConsistencyBasedDiagnosis

(

const ConsistencyBasedDiagnosis &

cbDiagnosis

)

~ConsistencyBasedDiagnosis()

virtual Diades::Automata::ConsistencyBasedDiagnosis::~ConsistencyBasedDiagnosis ( )

virtual

Member Function Documentation

checkConsistency()

bool Diades::Automata::ConsistencyBasedDiagnosis::checkConsistency	(	const vector< size_t > &	configuration,
		Trace &	consistentLanguage
	)

Check the consistency of a given configuration

Parameters

configuration	the indexes of the abnormal components
the	resulted consistent language

Returns

true if the configuration is consistent with the observations

isConflict()

bool Diades::Automata::ConsistencyBasedDiagnosis::isConflict

(

const vector< size_t > &

configuration

)

Parameters

configuration

a configuration

Returns

true if the given configuration is a conflict

Member Data Documentation

_components

const vector<ObservableComponent>& Diades::Automata::ConsistencyBasedDiagnosis::_components

private

Definition at line 23 of file ConsistencyBasedDiagnosis.hh.

_masks

unordered_map<string,const ObservableMask *> Diades::Automata::ConsistencyBasedDiagnosis::_masks

private

Definition at line 27 of file ConsistencyBasedDiagnosis.hh.

_observations

const vector<string>& Diades::Automata::ConsistencyBasedDiagnosis::_observations

private

Definition at line 26 of file ConsistencyBasedDiagnosis.hh.

_rules

const SynchronisationRules& Diades::Automata::ConsistencyBasedDiagnosis::_rules

private

Definition at line 25 of file ConsistencyBasedDiagnosis.hh.

_uniBehaviours

const vector<ObservableComponent>& Diades::Automata::ConsistencyBasedDiagnosis::_uniBehaviours

private

Definition at line 24 of file ConsistencyBasedDiagnosis.hh.

---

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

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