mcrl2/lps/replace.h

Include file:

#include "mcrl2/lps/replace.h"

add your file description here.

Functions

void mcrl2::lps::replace_process_parameters(specification &spec, Substitution sigma)

Applies a substitution to the process parameters of the specification spec.

void mcrl2::lps::replace_summand_variables(specification &spec, data::mutable_map_substitution<> &sigma)

Applies a substitution to the process parameters of the specification spec.