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

apply_induction()	mcrl2::data::detail::Induction	inline
apply_induction_one(const core::identifier_string &fresh_name) const	mcrl2::data::detail::Induction	inlineprivate
can_apply_induction() const	mcrl2::data::detail::Induction	inline
create_clauses(const data_expression &a_formula, const data_expression &a_hypothesis, const std::size_t a_variable_number, const std::size_t a_number_of_variables, const variable_list &a_list_of_variables, const variable_list &a_list_of_dummies)	mcrl2::data::detail::Induction	inlineprivate
create_hypotheses(const data_expression &a_hypothesis, variable_list a_list_of_variables, variable_list a_list_of_dummies) const	mcrl2::data::detail::Induction	inlineprivate
f_count	mcrl2::data::detail::Induction	private
f_formula	mcrl2::data::detail::Induction	private
f_list_variables	mcrl2::data::detail::Induction	private
fresh_identifier_generator	mcrl2::data::detail::Induction	private
get_fresh_dummy(const sort_expression &a_sort)	mcrl2::data::detail::Induction	inlineprivate
get_sort_of_list_elements(const variable &a_list_variable) const	mcrl2::data::detail::Induction	inlineprivate
initialize(const data_expression &a_formula)	mcrl2::data::detail::Induction	inline
recurse_expression_for_lists(const data_expression &a_expression) const	mcrl2::data::detail::Induction	inlineprivate