mcrl2/modal_formula/normalize_sorts.h¶
Include file:
#include "mcrl2/modal_formula/normalize_sorts.h"
add your file description here.
Functions¶
-
T
mcrl2::action_formulas::normalize_sorts(const T &x, const data::sort_specification &sortspec, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)¶
-
void
mcrl2::action_formulas::normalize_sorts(T &x, const data::sort_specification &sortspec, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = 0)¶
Functions¶
-
T
mcrl2::regular_formulas::normalize_sorts(const T &x, const data::sort_specification &sortspec, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)¶
-
void
mcrl2::regular_formulas::normalize_sorts(T &x, const data::sort_specification &sortspec, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = 0)¶
Functions¶
-
T
mcrl2::state_formulas::normalize_sorts(const T &x, const data::sort_specification &sortspec, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)¶
-
void
mcrl2::state_formulas::normalize_sorts(T &x, const data::sort_specification &sortspec, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = 0)¶
