add your file description here. More...

Classes
struct	mcrl2::data::detail::replace_constants_by_variables_builder< Builder >
	Replace each constant data application c by a fresh variable v, and add extend the substitution sigma with the assignment v := r(c). This can be used in rewriting, to avoid that c is rewritten by the rewriter multiple times. More...

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.

namespace	mcrl2::data::detail

Detailed Description

add your file description here.

Classes