mcrl2/bes/replace.h

Include file:

#include "mcrl2/bes/replace.h"

add your file description here.

Classes

• mcrl2::bes::boolean_variable_substitution

Functions

T mcrl2::bes::replace_all_boolean_variables(const T &x, Substitution sigma, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = 0)

void mcrl2::bes::replace_all_boolean_variables(T &x, Substitution sigma, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = 0)

boolean_expression mcrl2::bes::replace_boolean_variables(const boolean_expression &x, Substitution sigma)

Applies the substitution X := phi to the boolean expression t.

Parameters:

• x A boolean variable
• sigma A substitution

Returns: The result of the substitution.