replace_constants_by_variables.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
struct	mcrl2::pbes_system::detail::replace_constants_by_variables_builder

Namespaces
namespace	mcrl2
namespace	mcrl2::pbes_system
	The main namespace for the PBES library.
namespace	mcrl2::pbes_system::detail

Functions
template<typename T > requires (!std::is_base_of_v<atermpp::aterm, T>)
void	mcrl2::pbes_system::replace_constants_by_variables (T &x, const data::rewriter &r, data::mutable_indexed_substitution<> &sigma)
	Replace each constant data application c in x 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.
template<typename T > requires (std::is_base_of_v<atermpp::aterm, T>)
T	mcrl2::pbes_system::replace_constants_by_variables (const T &x, const data::rewriter &r, data::mutable_indexed_substitution<> &sigma)
	Replace each constant data application c in x 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.

Detailed Description

add your file description here.

Definition in file replace_constants_by_variables.h.