mcrl2::smt::translation_error

Include file:

#include "mcrl2/smt/translation_error.h
class mcrl2::smt::translation_error

Public member functions

translation_error(const std::string &message)