mcrl2/modal_formula/replace.h

Include file:

#include "mcrl2/modal_formula/replace.h"

add your file description here.

Functions

void mcrl2::action_formulas::replace_all_variables(T &x, const Substitution &sigma, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)
T mcrl2::action_formulas::replace_all_variables(const T &x, const Substitution &sigma, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)
void mcrl2::action_formulas::replace_data_expressions(T &x, const Substitution &sigma, bool innermost, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)
T mcrl2::action_formulas::replace_data_expressions(const T &x, const Substitution &sigma, bool innermost, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)
void mcrl2::action_formulas::replace_free_variables(T &x, const Substitution &sigma, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)

Applies the substitution sigma to x.

Pre: { The substitution sigma must have the property that FV(sigma(x)) is included in {x} for all variables x. }

T mcrl2::action_formulas::replace_free_variables(const T &x, const Substitution &sigma, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)

Applies the substitution sigma to x.

Pre: { The substitution sigma must have the property that FV(sigma(x)) is included in {x} for all variables x. }

void mcrl2::action_formulas::replace_free_variables(T &x, const Substitution &sigma, const VariableContainer &bound_variables, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)

Applies the substitution sigma to x, where the elements of bound_variables are treated as bound variables.

Pre: { The substitution sigma must have the property that FV(sigma(x)) is included in {x} for all variables x. }

T mcrl2::action_formulas::replace_free_variables(const T &x, const Substitution &sigma, const VariableContainer &bound_variables, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)

Applies the substitution sigma to x, where the elements of bound_variables are treated as bound variables.

Pre: { The substitution sigma must have the property that FV(sigma(x)) is included in {x} for all variables x. }

void mcrl2::action_formulas::replace_sort_expressions(T &x, const Substitution &sigma, bool innermost, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)
T mcrl2::action_formulas::replace_sort_expressions(const T &x, const Substitution &sigma, bool innermost, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)
void mcrl2::action_formulas::replace_variables(T &x, const Substitution &sigma, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)
T mcrl2::action_formulas::replace_variables(const T &x, const Substitution &sigma, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)

Functions

void mcrl2::regular_formulas::replace_all_variables(T &x, const Substitution &sigma, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)
T mcrl2::regular_formulas::replace_all_variables(const T &x, const Substitution &sigma, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)
void mcrl2::regular_formulas::replace_data_expressions(T &x, const Substitution &sigma, bool innermost, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)
T mcrl2::regular_formulas::replace_data_expressions(const T &x, const Substitution &sigma, bool innermost, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)
void mcrl2::regular_formulas::replace_free_variables(T &x, const Substitution &sigma, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)

Applies the substitution sigma to x.

Pre: { The substitution sigma must have the property that FV(sigma(x)) is included in {x} for all variables x. }

T mcrl2::regular_formulas::replace_free_variables(const T &x, const Substitution &sigma, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)

Applies the substitution sigma to x.

Pre: { The substitution sigma must have the property that FV(sigma(x)) is included in {x} for all variables x. }

void mcrl2::regular_formulas::replace_free_variables(T &x, const Substitution &sigma, const VariableContainer &bound_variables, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)

Applies the substitution sigma to x, where the elements of bound_variables are treated as bound variables.

Pre: { The substitution sigma must have the property that FV(sigma(x)) is included in {x} for all variables x. }

T mcrl2::regular_formulas::replace_free_variables(const T &x, const Substitution &sigma, const VariableContainer &bound_variables, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)

Applies the substitution sigma to x, where the elements of bound_variables are treated as bound variables.

Pre: { The substitution sigma must have the property that FV(sigma(x)) is included in {x} for all variables x. }

void mcrl2::regular_formulas::replace_sort_expressions(T &x, const Substitution &sigma, bool innermost, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)
T mcrl2::regular_formulas::replace_sort_expressions(const T &x, const Substitution &sigma, bool innermost, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)
void mcrl2::regular_formulas::replace_variables(T &x, const Substitution &sigma, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)
T mcrl2::regular_formulas::replace_variables(const T &x, const Substitution &sigma, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)

Functions

void mcrl2::state_formulas::replace_all_variables(T &x, const Substitution &sigma, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)
T mcrl2::state_formulas::replace_all_variables(const T &x, const Substitution &sigma, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)
void mcrl2::state_formulas::replace_data_expressions(T &x, const Substitution &sigma, bool innermost, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)
T mcrl2::state_formulas::replace_data_expressions(const T &x, const Substitution &sigma, bool innermost, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)
void mcrl2::state_formulas::replace_free_variables(T &x, const Substitution &sigma, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)

Applies the substitution sigma to x.

Pre: { The substitution sigma must have the property that FV(sigma(x)) is included in {x} for all variables x. }

T mcrl2::state_formulas::replace_free_variables(const T &x, const Substitution &sigma, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)

Applies the substitution sigma to x.

Pre: { The substitution sigma must have the property that FV(sigma(x)) is included in {x} for all variables x. }

void mcrl2::state_formulas::replace_free_variables(T &x, const Substitution &sigma, const VariableContainer &bound_variables, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)

Applies the substitution sigma to x, where the elements of bound_variables are treated as bound variables.

Pre: { The substitution sigma must have the property that FV(sigma(x)) is included in {x} for all variables x. }

T mcrl2::state_formulas::replace_free_variables(const T &x, const Substitution &sigma, const VariableContainer &bound_variables, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)

Applies the substitution sigma to x, where the elements of bound_variables are treated as bound variables.

Pre: { The substitution sigma must have the property that FV(sigma(x)) is included in {x} for all variables x. }

void mcrl2::state_formulas::replace_sort_expressions(T &x, const Substitution &sigma, bool innermost, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)
T mcrl2::state_formulas::replace_sort_expressions(const T &x, const Substitution &sigma, bool innermost, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)
void mcrl2::state_formulas::replace_state_formulas(T &x, Substitution sigma, bool innermost = true, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = 0)
T mcrl2::state_formulas::replace_state_formulas(const T &x, Substitution sigma, bool innermost = true, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)
void mcrl2::state_formulas::replace_variables(T &x, const Substitution &sigma, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)
T mcrl2::state_formulas::replace_variables(const T &x, const Substitution &sigma, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)