Diades::Petri::VddInvalid Class Reference

#include <Vdd.hh>

Public Member Functions
	VddInvalid (const string &whatArg)

Detailed Description

Exception: Invalidity of a Vdd

Definition at line 23 of file Vdd.hh.

Constructor & Destructor Documentation

VddInvalid()

Diades::Petri::VddInvalid::VddInvalid ( const string &  whatArg )

inline

Default constructor

Parameters

whatArg

error message of the exception

Definition at line 28 of file Vdd.hh.

---

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

• /home/yannick/laas/redmine/tools/diades/include/diades/petri/Vdd.hh