CompleteActiveDiagnoser.hh

Go to the documentation of this file.

/*
 * CompleteActiveDiagnoser.hh
 *
 *  Created on: 30 sept. 2008
 *      Author: ypencole
 */

#ifndef COMPLETEACTIVEDIAGNOSER_HH_
#define COMPLETEACTIVEDIAGNOSER_HH_

#include <unordered_map>
#include <Graph/Graph.hh>
#include <AModel/Signature.hh>

using namespace Grph;
using namespace std;


namespace AModel
{


class CompleteActiveDiagnoser
{
private:
        typedef enum {Monitoring, Active, Done} DiagnoserStatus;

        Graph _graph;
        StateMap<DiagnoserStatus> _tags;
        TransMap<string> _labels;
        State _initial;
        string _name;

public:
        CompleteActiveDiagnoser(const Signature & activeSig, const Signature & completeSig);
        virtual ~CompleteActiveDiagnoser();
        void diagnoser2Dot(const string & filename,unordered_map<string,string> & dico);
        void admissiblePlans2Dot(const string & suffix, unordered_map<string,string> & dico);
        void admissiblePlans2Dot(State s, const string & filename, unordered_map<string,string> & dico);
};

}

#endif /* COMPLETEACTIVEDIAGNOSER_HH_ */