Diagnose.hh

Go to the documentation of this file.

#ifndef __DIADES__AUTOMATA__DIAGNOSE_HH_
#define __DIADES__AUTOMATA__DIAGNOSE_HH_

#include <boost/date_time/posix_time/posix_time.hpp>
#include "History.hh"
#include "FaultDiagProblem.hh"

namespace Diades
{
  namespace Automata
  {
        using boost::posix_time::time_duration;
        typedef pair<time_duration,Event> EventOccurrence;


        template<typename ALG>
        class Diagnose
        {
        private:
          History _hist;
        public:
          Diagnose(const FaultDiagProblem & problem):_hist()
          {
                ALG algorithm(problem);
                algorithm.initialize();
                while(!algorithm.finished())
                  {
                        algorithm.next();
                        if(algorithm.updated())
                          {
                                _hist.publishDiagnosis(microsec_clock::local_time(),algorithm.diagnosis());
                          }
                  }
          }
          const History & history() const
          {
                return _hist;
          }
        };

  };
};


#endif