Line data Source code
1 : // Author(s): Ruud Koolen 2 : // Copyright: see the accompanying file COPYING or copy at 3 : // https://github.com/mCRL2org/mCRL2/blob/master/COPYING 4 : // 5 : // Distributed under the Boost Software License, Version 1.0. 6 : // (See accompanying file LICENSE_1_0.txt or copy at 7 : // http://www.boost.org/LICENSE_1_0.txt) 8 : 9 : #ifndef MCRL2_SMT_TRANSLATION_ERROR_H 10 : #define MCRL2_SMT_TRANSLATION_ERROR_H 11 : 12 : #include <stdexcept> 13 : #include <string> 14 : #include <cassert> 15 : 16 : namespace mcrl2 17 : { 18 : 19 : namespace smt 20 : { 21 : 22 : class translation_error : public std::runtime_error 23 : { 24 : public: 25 0 : translation_error(const std::string& message) : std::runtime_error(message) 26 0 : {} 27 : }; 28 : 29 : } 30 : } 31 : 32 : #endif