Include file:
#include "mcrl2/modal_formula/has_name_clashes.h"
mcrl2::state_formulas::
check_data_variable_name_clashes
(const state_formula &x)¶Throws an exception if the formula contains name clashes in the parameters of mu/nu/exists/forall.
mcrl2::state_formulas::
check_state_variable_name_clashes
(const state_formula &x)¶Throws an exception if the formula contains name clashes.
mcrl2::state_formulas::
has_data_variable_name_clashes
(const state_formula &x)¶Returns true if the formula contains parameter name clashes.
mcrl2::state_formulas::
has_state_variable_name_clashes
(const state_formula &x)¶Returns true if the formula contains name clashes.