Include file:
#include "mcrl2/lps/replace.h"
add your file description here.
mcrl2::lps::
replace_process_parameters
(specification &spec, Substitution sigma)¶Applies a substitution to the process parameters of the specification spec.
mcrl2::lps::
replace_summand_variables
(specification &spec, data::mutable_map_substitution<> &sigma)¶Applies a substitution to the process parameters of the specification spec.