mcrl2::smt::function_definition

Include file:

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

Protected attributes

data_specification *m_data_specification
std::set<data::function_symbol> m_function_dependencies
std::set<data::sort_expression> m_sort_dependencies

Public member functions

function_definition(data_specification *data_specification, data::sort_expression sort)
function_definition(data_specification *data_specification)
const std::set<data::function_symbol> &function_dependencies() const
virtual std::string generate_data_expression(const std::map<data::variable, std::string> &declared_variables, data::data_expression_vector arguments) const = 0
virtual std::string generate_definition() const
const std::set<data::sort_expression> &sort_dependencies() const
virtual ~function_definition()