mcrl2::smt::constructed_sort_definition

Include file:

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

Public types

type constructors_t

typedef for std::vector< constructor_t >

Protected attributes

constructors_t m_constructors

Public member functions

void add_constructor_definition(std::size_t constructor_index, function_definition *definition)
void add_projection_definition(std::size_t constructor_index, std::size_t field_index, function_definition *definition)
void add_recogniser_definition(std::size_t constructor_index, function_definition *definition)
constructed_sort_definition(data_specification *data_specification, data::sort_expression sort, const constructors_t &constructors)
virtual std::string generate_definition() const = 0