mcrl2::data::assignment_sequence_substitution Member List

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

argument_type typedef	mcrl2::data::assignment_sequence_substitution
assignment_sequence_substitution(const assignment_list &assignments_)	mcrl2::data::assignment_sequence_substitution	inlineexplicit
assignments	mcrl2::data::assignment_sequence_substitution
expression_type typedef	mcrl2::data::assignment_sequence_substitution
operator()(const variable &v) const	mcrl2::data::assignment_sequence_substitution	inline
result_type typedef	mcrl2::data::assignment_sequence_substitution
variable_type typedef	mcrl2::data::assignment_sequence_substitution