.. _substitution_utility.h:
  
mcrl2/data/substitution_utility.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/data/substitution_utility.h"

add your file description here. 



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

.. cpp:function:: void mcrl2::data::add_assignments(data::mutable_indexed_substitution<> &sigma, const VariableSequence &v, const DataExpressionSequence &e)
  
  Adds assignments [v := e] to the substitution sigma for each variable in v. 

  

.. cpp:function:: void mcrl2::data::remove_assignments(data::mutable_indexed_substitution<> &sigma, const VariableSequence &v)
  
  Removes assignments to variables in v from the substitution sigma.