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

#include <BeliefState.hh>

Public Member Functions

 BeliefStateInvalid (const string &whatArg)
 

Detailed Description

Exception: Invalidity of a BeliefState

Definition at line 21 of file BeliefState.hh.

Constructor & Destructor Documentation

◆ BeliefStateInvalid()

Diades::Automata::BeliefStateInvalid::BeliefStateInvalid ( const string &  whatArg)
inline

Default constructor

Parameters
whatArgerror message of the exception

Definition at line 28 of file BeliefState.hh.


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