Unfolding.hh

Go to the documentation of this file.

#ifndef __DIADES__PETRI__UNFOLDING_HH_
#define __DIADES__PETRI__UNFOLDING_HH_

namespace Diades
{
  namespace Petri
  {

        template<typename Minimal>
        void unfold(const Net & netSystem,Net & completePrefix)
        {}

        template<typename Minimal>
        Transition & next(const Net & netSystem,Net & completePrefix)
        {}
        

        

  };
};




#endif