mCRL2
Loading...
Searching...
No Matches
replace_constants_by_variables.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes

struct  mcrl2::lps::detail::replace_constants_by_variables_builder
 

Namespaces

namespace  mcrl2
 A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
 
namespace  mcrl2::lps
 The main namespace for the LPS library.
 
namespace  mcrl2::lps::detail
 

Functions

template<typename T >
void mcrl2::lps::replace_constants_by_variables (T &x, const data::rewriter &r, data::mutable_indexed_substitution<> &sigma, typename std::enable_if<!std::is_base_of< atermpp::aterm, T >::value >::type *=nullptr)
 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 >
mcrl2::lps::replace_constants_by_variables (const T &x, const data::rewriter &r, data::mutable_indexed_substitution<> &sigma, typename std::enable_if< std::is_base_of< atermpp::aterm, T >::value >::type *=nullptr)
 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.