mcrl2::data::detail::replace_constants_by_variables_builder< Builder > Member List

This is the complete list of members for mcrl2::data::detail::replace_constants_by_variables_builder< Builder >, including all inherited members.

apply(T &result, const data::application &x)	mcrl2::data::detail::replace_constants_by_variables_builder< Builder >	inline
id_generator	mcrl2::data::detail::replace_constants_by_variables_builder< Builder >
is_constant(const data::data_expression &x) const	mcrl2::data::detail::replace_constants_by_variables_builder< Builder >	inline
r	mcrl2::data::detail::replace_constants_by_variables_builder< Builder >
replace_constants_by_variables_builder(const data::rewriter &r_, data::mutable_indexed_substitution<> &sigma_)	mcrl2::data::detail::replace_constants_by_variables_builder< Builder >	inline
sigma	mcrl2::data::detail::replace_constants_by_variables_builder< Builder >
substitutions	mcrl2::data::detail::replace_constants_by_variables_builder< Builder >
super typedef	mcrl2::data::detail::replace_constants_by_variables_builder< Builder >