mcrl2/smt/translate_sort.h

Include file:

#include "mcrl2/smt/translate_sort.h"

Classes

• mcrl2::smt::detail::translate_sort_expression_traverser

Functions

void mcrl2::smt::translate_sort_expression(const T &x, OutputStream &o, const native_translations &nt, const std::map<data::structured_sort, std::string> &snm = detail::empty_name_map())

Functions

static const std::map<data::structured_sort, std::string> &mcrl2::smt::detail::empty_name_map()

translate_sort_expression_traverser<Traverser, OutputStream> mcrl2::smt::detail::make_translate_sort_expression_traverser(OutputStream &out, const native_translations &nt, const std::map<data::structured_sort, std::string> &snm)