mcrl2::data::detail::variable_context Member List

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

add_context_variables(const VariableContainer &variables)	mcrl2::data::detail::variable_context	inline
add_context_variables(const VariableContainer &variables, const data_type_checker &typechecker)	mcrl2::data::detail::variable_context	inline
clear()	mcrl2::data::detail::variable_context	inline
context() const	mcrl2::data::detail::variable_context	inline
m_variables	mcrl2::data::detail::variable_context	private
typecheck_variable(const data_type_checker &typechecker, const variable &v) const	mcrl2::data::detail::variable_context	protected
variable_context()	mcrl2::data::detail::variable_context	inline
variable_context(const std::map< core::identifier_string, sort_expression > &variables)	mcrl2::data::detail::variable_context	inlineexplicit