mcrl2/data/substitutions/variable_substitution.h

Include file:

#include "mcrl2/data/substitutions/variable_substitution.h"

Classes

• mcrl2::data::variable_substitution

Functions

std::set<data::variable> mcrl2::data::substitution_variables(const variable_substitution &sigma)