DiaDes
0.1
DIAgnosis of Discrete-Event System
include
diades
petri
DdNetLoad.hh
Go to the documentation of this file.
1
9
#ifndef __DIADES__PETRI__DDNETLOAD__HH__
10
#define __DIADES__PETRI__DDNETLOAD__HH__
11
12
13
#include <
diades/petri/DdNet.hh
>
14
15
16
namespace
Diades
17
{
18
namespace
Petri
19
{
20
21
bool
loadDdNet
(
const
string
& filename, DdNet & net);
22
23
}
24
}
25
26
27
#endif
/* __DIADES__PETRI__DDNETLOAD__HH__ */
28
Diades::Petri::loadDdNet
bool loadDdNet(const string &filename, DdNet &net)
DdNet.hh
Diades
Namespace of the Diades project.
Generated on Tue May 12 2020 15:52:04 for DiaDes by
1.8.13