Include file:
#include "mcrl2/data/substitutions/mutable_indexed_substitution.h"
add your file description here.
mcrl2::data::mutable_indexed_substitution::assignment
mcrl2::data::
operator<<
(std::ostream &out, const mutable_indexed_substitution<VariableType, ExpressionType> &sigma)¶mcrl2::data::
substitution_variables
(const mutable_indexed_substitution<VariableType, ExpressionType> &sigma)¶