mcrl2/data/is_simple_substitution.h

Include file:

#include "mcrl2/data/is_simple_substitution.h"

add your file description here.

Functions

bool mcrl2::data::is_simple_substitution(const Substitution&)

Returns true if the substitution sigma satisfies the property that FV(sigma(x)) is included in {x} for all variables x.

Note

The default return value is true, so a template specialization is required to enable this check for substitutions.

bool mcrl2::data::is_simple_substitution(const data::variable &lhs, const data::data_expression &rhs)

Returns true if FV(rhs) is included in {lhs}.