TwinPattern.hh

Go to the documentation of this file.

#ifndef __DIADES_PETRI_TWINPATTERN__HH__
#define __DIADES_PETRI_TWINPATTERN__HH__


#include"SystemPattern.hh"

namespace Diades
{
  namespace Petri
  {


    class TwinPattern: public SystemPattern
    {
    private:
      vector<Marking> _rightFinalMarkings;
    public:
      TwinPattern(const System & system,
                  const Pattern & pattern);

      void twin2Dot(const string & fileName) const;


      bool checkDiagnosability() const;

      bool ambiguous(const Marking & marking) const;
      
    private:

      void clone(std::vector<Place> & left,  unordered_map<Place,Place> & rightOf,
                 unordered_map<Transition, Transition > & rightTransitionOf,
                 unordered_map<unsigned, std::list<Transition> > & leftObservableTransitionsOfEvent,unordered_map<unsigned, std::list<Transition> >  & rightObservableTransitionsOfEvent);
    };



  };
};









#endif