mcrl2/smt/utilities.h

Include file:

#include "mcrl2/smt/utilities.h"

Classes

• mcrl2::smt::stack_outstream

Functions

data::function_symbol mcrl2::smt::make_projection_func(const data::function_symbol &cons, const data::sort_expression &arg_sort, std::size_t i, const native_translations &nt)

std::string mcrl2::smt::make_projection_name(const data::function_symbol &cons, std::size_t i, const native_translations &nt)

data::function_symbol mcrl2::smt::make_recogniser_func(const data::function_symbol &cons, const native_translations &nt)

std::string mcrl2::smt::make_recogniser_name(const data::function_symbol &cons, const native_translations &nt)

std::vector<T> mcrl2::smt::topological_sort(std::map<T, std::set<T>> dependencies)

std::string mcrl2::smt::translate_identifier(const core::identifier_string &id)

std::string mcrl2::smt::translate_identifier(const std::string &id)

std::string mcrl2::smt::translate_symbol(const data::function_symbol &f, const native_translations &nt)