DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <PetriNetException.hh>
Public Member Functions | |
MarkingGraphInvalid (const string &whatArg) | |
Exception: Invalidity of a MarkingGraph
Definition at line 27 of file PetriNetException.hh.
|
inline |
Default constructor
whatArg | error message of the exception |
Definition at line 32 of file PetriNetException.hh.