mcrl2::smt::translation_error Class Reference

#include <translation_error.h>

Inheritance diagram for mcrl2::smt::translation_error:

Public Member Functions
	translation_error (const std::string &message)

Detailed Description

Definition at line 22 of file translation_error.h.

Constructor & Destructor Documentation

translation_error()

mcrl2::smt::translation_error::translation_error ( const std::string &  message )

inline

Definition at line 25 of file translation_error.h.

---

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

• smt/include/mcrl2/smt/translation_error.h