.. _replace_constants_by_variables.h:
  
mcrl2/lps/replace_constants_by_variables.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/lps/replace_constants_by_variables.h"

add your file description here. 




Classes
-------

* :cpp:class:`mcrl2::lps::detail::replace_constants_by_variables_builder`

Functions
-------------------------------------------------------------------------------

.. cpp:function:: 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. 

  

.. cpp:function:: 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.