mcrl2/smt/translate_specification.h

Include file:

#include "mcrl2/smt/translate_specification.h"

Functions

void mcrl2::smt::translate_data_specification(const data::data_specification &dataspec, OutputStream &o, std::unordered_map<data::data_expression, std::string> &c, const native_translations &nt)

Functions

static std::set<data::sort_expression> mcrl2::smt::detail::find_dependencies(const data::data_specification &dataspec, const data::sort_expression &sort)

std::map<data::sort_expression, std::set<data::sort_expression>> mcrl2::smt::detail::find_sorts_and_dependencies(const data::data_specification &dataspec, std::map<data::structured_sort, std::string> &struct_name_map)

bool mcrl2::smt::detail::is_higher_order(const data::application &a)

bool mcrl2::smt::detail::is_higher_order(const data::data_equation &eq)

bool mcrl2::smt::detail::is_higher_order(const data::function_symbol &f)

void mcrl2::smt::detail::translate_alias(const data::alias &s, OutputStream &out, const native_translations &nt, const std::map<data::structured_sort, std::string> &struct_name_map)

void mcrl2::smt::detail::translate_equation(const data::data_equation &eq, OutputStream &out, std::unordered_map<data::data_expression, std::string> &c, const native_translations &nt)

void mcrl2::smt::detail::translate_mapping(const data::function_symbol &f, OutputStream &out, const native_translations &nt, const std::map<data::structured_sort, std::string> &snm, bool check_native = true)

void mcrl2::smt::detail::translate_native_mappings(OutputStream &out, std::unordered_map<data::data_expression, std::string> &c, const native_translations &nt, const std::map<data::structured_sort, std::string> &snm)

void mcrl2::smt::detail::translate_sort_definition(const data::basic_sort &s, const data::data_specification &dataspec, OutputStream &out, const native_translations &nt, std::map<data::structured_sort, std::string> &struct_name_map)

void mcrl2::smt::detail::translate_sort_definition(const std::string &sort_name, const data::sort_expression &s, const data::data_specification &dataspec, OutputStream &out, const native_translations &nt, std::map<data::structured_sort, std::string> &struct_name_map)

void mcrl2::smt::detail::translate_sort_definitions(const data::data_specification &dataspec, OutputStream &out, const native_translations &nt, data::set_identifier_generator &id_gen, std::map<data::structured_sort, std::string> &struct_name_map)