This is the complete list of members for mcrl2::state_formulas::detail::untyped_state_formula_specification, including all inherited members.

action_labels	mcrl2::state_formulas::detail::untyped_state_formula_specification
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
construct_state_formula_specification()	mcrl2::state_formulas::detail::untyped_state_formula_specification	inline
constructors	mcrl2::data::untyped_data_specification
equations	mcrl2::data::untyped_data_specification
formula	mcrl2::state_formulas::detail::untyped_state_formula_specification
mappings	mcrl2::data::untyped_data_specification