DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <AutModelException.hh>
Public Member Functions | |
DiagnoserInvalid (const string &whatArg) | |
Exception: Invalidity of a Diagnoser
Definition at line 135 of file AutModelException.hh.
|
inline |
Default constructor
whatArg | error message of the exception |
Definition at line 142 of file AutModelException.hh.