FaultDiagProblem.hh

Go to the documentation of this file.

#ifndef __DIADES__AUTOMATA__FAULTDIAGPROBLEM_HH_
#define __DIADES__AUTOMATA__FAULTDIAGPROBLEM_HH_

#include<list>
#include<vector>
#include<map>
#include"Event.hh"
#include"ObservableComponent.hh"
#include"SynchronisationRules.hh"
#include"EventOccurrence.hh"


namespace Diades
{
  namespace Automata
  {
        
        using std::vector;
        using std::list;

        class FaultDiagProblem
        {
        private:
          const vector<ObservableComponent::CRef> & _comps;
          const unordered_set<Event> & _faults;
          const SynchronisationRules & _rules;
          const vector< EventOccurrence > & _observations;
          unordered_set< Event > _observables;
        public:
          FaultDiagProblem(const vector<ObservableComponent::CRef> & comps,
                                           const unordered_set<Event> & faults,
                                           const SynchronisationRules & rules,
                                           const vector< EventOccurrence > & observations);

          const vector<ObservableComponent::CRef> & components() const { return _comps; }
          const SynchronisationRules & rules() const { return _rules; }
          const vector<EventOccurrence> & observations() const { return _observations; }
          const unordered_set<Event> & faults() const { return _faults; }
          const unordered_set<Event> & observables() const { return _observables; }
        };
        

  };
};


#endif