mcrl2::smt::sort_definition

Include file:

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

Protected attributes

std::map<data::function_symbol, std::shared_ptr<function_definition>> m_auxiliary_function_definitions
data_specification *m_data_specification
std::string m_name
std::set<data::sort_expression> m_sort_dependencies

Public member functions

const std::map<data::function_symbol, std::shared_ptr<function_definition>> &auxiliary_function_definitions() const
virtual std::string generate_definition() const
virtual std::string generate_variable_declaration(const core::identifier_string &name) const
std::string name() const
sort_definition(data_specification *data_specification, std::string name)
sort_definition(data_specification *data_specification, data::sort_expression sort)
std::set<data::sort_expression> sort_dependencies() const
virtual ~sort_definition()