Diagnosis.hh

Go to the documentation of this file.

#ifndef __DIADES_PETRI_DIAGNOSIS__HH__
#define __DIADES_PETRI_DIAGNOSIS__HH__


#include"SystemPattern.hh"
#include"Observations.hh"

namespace Diades
{
        namespace Petri
        {

                class Diagnosis : public SystemPattern
                {
                private:
                        vector<Marking> _rightFinalMarkings;
                        string _faultySeltFormula;
                        string _okSeltFormula;
                        string _inconsistencySeltFormula;

                public:
                        Diagnosis(const System & system,
                                          const Pattern & pattern,
                                          const Observations & observations);





                private:


                        void
                        computeSeltFormulas(const System & system,
                                                                const Pattern & pattern,
                                                         const Observations & observations);


                public:

                        const string &
                        getFaultySeltFormula() const
                        {
                                return _faultySeltFormula;
                        }

                        const string &
                        getOkSeltFormula() const
                        {
                                return _okSeltFormula;
                        }

                        const string &
                        getInconsistencySeltFormula() const
                        {
                                return _inconsistencySeltFormula;
                        }




                };



        };
};









#endif