AutModel::TransitionSystemInvalid Class Reference

#include <AutModelException.hh>

Public Member Functions
	TransitionSystemInvalid (const string &whatArg)

Detailed Description

Exception: Invalidity of a TransitionSystem

Definition at line 31 of file AutModelException.hh.

Constructor & Destructor Documentation

TransitionSystemInvalid()

AutModel::TransitionSystemInvalid::TransitionSystemInvalid ( const string &  whatArg )

inline

Default constructor

Parameters

whatArg

error message of the exception

Definition at line 38 of file AutModelException.hh.

---

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

• /home/yannick/laas/redmine/tools/diades/include/diades/automata/AutModelException.hh