ConsistencyBasedDiagnosis.hh

Go to the documentation of this file.

/* 
 * File:   ConsistencyBasedDiagnosis.hh
 * Author: Yannick Pencole ypencole@laas.fr
 *
 * Created on 18 feb 2017, 11:13
 */

#ifndef __DIADES__AUTOMATA__CONSISTENCYBASEDDIAGNOSIS_HH
#define __DIADES__AUTOMATA__CONSISTENCYBASEDDIAGNOSIS_HH
#include<vector>
#include<diades/automata/ObservableComponent.hh>
#include<diades/automata/Trace.hh>
#include<diades/automata/SynchronisationRules.hh>
namespace Diades {

    namespace Automata {

        class ConsistencyBasedDiagnosis 
        {
        private:
           const vector<ObservableComponent> & _components;
           const vector<ObservableComponent> & _uniBehaviours;
           const SynchronisationRules & _rules;
           const vector<string> & _observations;
           unordered_map<string,const ObservableMask *> _masks;
        public:
            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:
            
        };
    }
}
#endif /* __DIADES__AUTOMATA__CONSISTENCYBASEDDIAGNOSIS_HH */