AutModel::NonDetInteractiveDiagnoserInvalid Class Reference

#include <AutModelException.hh>

Public Member Functions
	NonDetInteractiveDiagnoserInvalid (const string &whatArg)

Detailed Description

Exception: Invalidity of a NonDetInteractiveDiagnoser

Definition at line 118 of file AutModelException.hh.

Constructor & Destructor Documentation

NonDetInteractiveDiagnoserInvalid()

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

inline

Default constructor

Parameters

whatArg

error message of the exception

Definition at line 125 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