mCRL2
Loading...
Searching...
No Matches
mcrl2::data::data_specification Member List

This is the complete list of members for mcrl2::data::data_specification, including all inherited members.

add_alias(const alias &a)mcrl2::data::sort_specificationinline
add_constructor(const function_symbol &f)mcrl2::data::data_specificationinline
add_context_sort(const sort_expression &s)mcrl2::data::sort_specificationinline
add_context_sorts(const Container &c, typename atermpp::enable_if_container< Container >::type *=nullptr)mcrl2::data::sort_specificationinline
add_data_types_for_sorts() constmcrl2::data::data_specificationinlineprivate
add_equation(const data_equation &e)mcrl2::data::data_specificationinline
add_mapping(const function_symbol &f)mcrl2::data::data_specificationinline
add_normalised_constructor(const function_symbol &f) constmcrl2::data::data_specificationinlineprotected
add_normalised_constructors(Iterator begin, Iterator end) constmcrl2::data::data_specificationinlineprotected
add_normalised_cpp_implemented_functions(const implementation_map &c) constmcrl2::data::data_specificationinlineprotected
add_normalised_equation(const data_equation &e) constmcrl2::data::data_specificationinlineprotected
add_normalised_equations(Iterator begin, Iterator end) constmcrl2::data::data_specificationinlineprotected
add_normalised_mapping(const function_symbol &f) constmcrl2::data::data_specificationinlineprotected
add_normalised_mappings(Iterator begin, Iterator end) constmcrl2::data::data_specificationinlineprotected
add_predefined_basic_sorts()mcrl2::data::sort_specificationprotected
add_sort(const basic_sort &s)mcrl2::data::sort_specificationinline
add_standard_mappings_and_equations(const sort_expression &sort, std::set< function_symbol > &mappings, std::set< data_equation > &equations, const bool skip_equations) constmcrl2::data::data_specificationinlineprotected
add_system_defined_sort(const sort_expression &s)mcrl2::data::sort_specificationinline
check_for_alias_loop(const sort_expression &s, std::set< sort_expression > sorts_already_seen, const bool toplevel=true) constmcrl2::data::sort_specificationprotected
constructors() constmcrl2::data::data_specificationinline
constructors(const sort_expression &s, const bool do_not_normalize=false) constmcrl2::data::data_specificationinline
context_sorts() constmcrl2::data::sort_specificationinline
cpp_implemented_functions() constmcrl2::data::data_specificationinline
data_is_not_necessarily_normalised_anymore() constmcrl2::data::data_specificationinlineprotected
data_specification()mcrl2::data::data_specificationinline
data_specification(const atermpp::aterm &t)mcrl2::data::data_specificationinline
data_specification(const basic_sort_vector &sorts, const alias_vector &aliases, const function_symbol_vector &constructors, const function_symbol_vector &user_defined_mappings, const data_equation_vector &user_defined_equations)mcrl2::data::data_specification
equal_sorts(sort_expression const &s1, sort_expression const &s2) constmcrl2::data::data_specificationinline
equations() constmcrl2::data::data_specificationinline
find_associated_system_defined_data_types_for_a_sort(const sort_expression &sort, std::set< function_symbol > &constructors, std::set< function_symbol > &mappings, std::set< data_equation > &equations, implementation_map &cpp_implemented_functions, const bool skip_equations=false) constmcrl2::data::data_specificationprivate
get_system_defined_sorts_constructors_and_mappings(std::set< sort_expression > &sorts, std::set< function_symbol > &constructors, std::set< function_symbol > &mappings) constmcrl2::data::data_specification
implementation_map typedefmcrl2::data::data_specification
import_data_type_for_system_defined_sort(const sort_expression &sort) constmcrl2::data::data_specificationinlineprivate
import_system_defined_sort(const sort_expression &sort)mcrl2::data::sort_specificationprotected
import_system_defined_sorts(const CONTAINER &sorts)mcrl2::data::sort_specificationinlineprotected
insert_mappings_constructors_for_structured_sort(const structured_sort &sort, std::set< function_symbol > &constructors, std::set< function_symbol > &mappings, std::set< data_equation > &equations, const bool skip_equations) constmcrl2::data::data_specificationinlineprotected
is_certainly_finite(const sort_expression &s) constmcrl2::data::data_specification
is_certainly_finite(const sort_expression_list &l) constmcrl2::data::data_specificationinline
is_constructor_sort(const sort_expression &s) constmcrl2::data::data_specificationinline
is_well_typed() constmcrl2::data::data_specification
m_cpp_implemented_functionsmcrl2::data::data_specificationmutableprotected
m_grouped_normalised_constructorsmcrl2::data::data_specificationmutableprotected
m_grouped_normalised_mappingsmcrl2::data::data_specificationmutableprotected
m_normalised_aliasesmcrl2::data::sort_specificationmutableprotected
m_normalised_constructorsmcrl2::data::data_specificationmutableprotected
m_normalised_data_is_up_to_datemcrl2::data::sort_specificationmutableprotected
m_normalised_equationsmcrl2::data::data_specificationmutableprotected
m_normalised_mappingsmcrl2::data::data_specificationmutableprotected
m_normalised_sortsmcrl2::data::sort_specificationmutableprotected
m_normalised_sorts_are_up_to_datemcrl2::data::sort_specificationmutableprotected
m_sorts_in_contextmcrl2::data::sort_specificationprotected
m_user_defined_aliasesmcrl2::data::sort_specificationprotected
m_user_defined_constructorsmcrl2::data::data_specificationprotected
m_user_defined_equationsmcrl2::data::data_specificationprotected
m_user_defined_mappingsmcrl2::data::data_specificationprotected
m_user_defined_sortsmcrl2::data::sort_specificationprotected
mappings() constmcrl2::data::data_specificationinline
mappings(const sort_expression &s) constmcrl2::data::data_specificationinline
normalise_data_specification_if_required() constmcrl2::data::data_specificationinlineprivate
normalise_sort_specification_if_required() constmcrl2::data::sort_specificationinlineprotected
operator==(const data_specification &other) constmcrl2::data::data_specificationinline
mcrl2::data::sort_specification::operator==(const sort_specification &other) constmcrl2::data::sort_specificationinline
reconstruct_m_normalised_aliases() constmcrl2::data::sort_specificationprotected
remove_alias(const alias &a)mcrl2::data::sort_specificationinline
remove_constructor(const function_symbol &f)mcrl2::data::data_specificationinline
remove_equation(const data_equation &e)mcrl2::data::data_specificationinline
remove_mapping(const function_symbol &f)mcrl2::data::data_specificationinline
remove_sort(const sort_expression &s)mcrl2::data::sort_specificationinline
sort_alias_map() constmcrl2::data::sort_specificationinline
sort_specification()mcrl2::data::sort_specificationinline
sort_specification(const basic_sort_vector &sorts, const alias_vector &aliases)mcrl2::data::sort_specificationinline
sorts() constmcrl2::data::sort_specificationinline
sorts_are_not_necessarily_normalised_anymore() constmcrl2::data::sort_specificationinlineprotected
translate_user_notation()mcrl2::data::data_specificationinline
user_defined_aliases() constmcrl2::data::sort_specificationinline
user_defined_constructors() constmcrl2::data::data_specificationinline
user_defined_equations() constmcrl2::data::data_specificationinline
user_defined_equations()mcrl2::data::data_specificationinline
user_defined_mappings() constmcrl2::data::data_specificationinline
user_defined_sorts() constmcrl2::data::sort_specificationinline