mcrl2::data::untyped_data_specification Member List

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

add_alias(const alias &x)	mcrl2::data::untyped_data_specification	inline
add_constructor(const function_symbol &x)	mcrl2::data::untyped_data_specification	inline
add_equation(const data_equation &x)	mcrl2::data::untyped_data_specification	inline
add_mapping(const function_symbol &x)	mcrl2::data::untyped_data_specification	inline
add_sort(const basic_sort &x)	mcrl2::data::untyped_data_specification	inline
aliases	mcrl2::data::untyped_data_specification
basic_sorts	mcrl2::data::untyped_data_specification
construct_data_specification() const	mcrl2::data::untyped_data_specification	inline
constructors	mcrl2::data::untyped_data_specification
equations	mcrl2::data::untyped_data_specification
mappings	mcrl2::data::untyped_data_specification