mcrl2/data/substitution_utility.h

Include file:

#include "mcrl2/data/substitution_utility.h"

add your file description here.

Functions

void mcrl2::data::add_assignments(data::mutable_indexed_substitution<> &sigma, const VariableSequence &v, const DataExpressionSequence &e)

Adds assignments [v := e] to the substitution sigma for each variable in v.

void mcrl2::data::remove_assignments(data::mutable_indexed_substitution<> &sigma, const VariableSequence &v)

Removes assignments to variables in v from the substitution sigma.