mcrl2::data::enumerator_error Struct Reference

Enumerator exception. More...

#include <enumerator.h>

Inheritance diagram for mcrl2::data::enumerator_error:

Public Member Functions
	enumerator_error (const std::string &message)
Public Member Functions inherited from mcrl2::runtime_error
	runtime_error (const std::string &message)
	Constructor.

Detailed Description

Enumerator exception.

Definition at line 215 of file enumerator.h.

Constructor & Destructor Documentation

enumerator_error()

mcrl2::data::enumerator_error::enumerator_error ( const std::string &  message )

inlineexplicit

Definition at line 217 of file enumerator.h.

---

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

• data/include/mcrl2/data/enumerator.h