is_simple_substitution.h File Reference

add your file description here. More...

Go to the source code of this file.

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::data
	Namespace for all data library functionality.

Functions
template<typename Substitution >
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.
bool	mcrl2::data::is_simple_substitution (const data::variable &lhs, const data::data_expression &rhs)
	Returns true if FV(rhs) is included in {lhs}.

Detailed Description

add your file description here.

Definition in file is_simple_substitution.h.