mcrl2::smt::recursive_function_definition

Include file:

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

Protected attributes

data::variable_vector m_parameters
data::data_expression m_rhs

Public member functions

virtual std::string generate_definition() const = 0
recursive_function_definition(data_specification *data_specification, data::function_symbol function, const data::data_equation_vector &rewrite_rules)

Public static member functions

bool is_pattern_matching_rule(data_specification *data_specification, const data::data_equation &rewrite_rule)