10 #ifndef __DIADES__AUTOMATA__CONSISTENCYBASEDDIAGNOSIS_HH 11 #define __DIADES__AUTOMATA__CONSISTENCYBASEDDIAGNOSIS_HH 27 unordered_map<string,const ObservableMask *>
_masks;
30 const vector<ObservableComponent> & components,
31 const vector<ObservableComponent> & uniBehaviours,
33 const vector<string> & observations);
49 bool isConflict(
const vector<size_t> & configuration);
bool checkConsistency(const vector< size_t > &configuration, Trace &consistentLanguage)
unordered_map< string, const ObservableMask * > _masks
const vector< ObservableComponent > & _components
virtual ~ConsistencyBasedDiagnosis()
bool isConflict(const vector< size_t > &configuration)
Namespace of the Diades project.
const vector< string > & _observations
ConsistencyBasedDiagnosis(const vector< ObservableComponent > &components, const vector< ObservableComponent > &uniBehaviours, const SynchronisationRules &rules, const vector< string > &observations)
const SynchronisationRules & _rules
const vector< ObservableComponent > & _uniBehaviours