DiaDes  0.1
DIAgnosis of Discrete-Event System
Public Member Functions | List of all members
Diades::Petri::MarkingGraphInvalid Class Reference

#include <PetriNetException.hh>

Public Member Functions

 MarkingGraphInvalid (const string &whatArg)
 

Detailed Description

Exception: Invalidity of a MarkingGraph

Definition at line 27 of file PetriNetException.hh.

Constructor & Destructor Documentation

Diades::Petri::MarkingGraphInvalid::MarkingGraphInvalid ( const string &  whatArg)
inline

Default constructor

Parameters
whatArgerror message of the exception

Definition at line 32 of file PetriNetException.hh.


The documentation for this class was generated from the following file: