LabelledPrioritizedNetLoad.hh

Go to the documentation of this file.

#ifndef __DIADES__PETRI__LABELLEDPRIORITIZEDNETLOAD__HH__
#define __DIADES__PETRI__LABELLEDPRIORITIZEDNETLOAD__HH__


#include <diades/petri/LabelledPrioritizedNet.hh>


namespace Diades
{
        namespace Petri
        {

              bool loadLabelledPrioritizedNet(const string & filename, LabelledPrioritizedNet & net);

        }
}


#endif /* __DIADES__PETRI__DDNETLOAD__HH__ */