mcrl2/pbes/find_equalities.h

Include file:

#include "mcrl2/pbes/find_equalities.h"

add your file description here.

Classes

• mcrl2::pbes_system::detail::find_equalities_traverser
• mcrl2::pbes_system::detail::find_equalities_traverser_inst

Functions

std::map<data::variable, std::set<data::data_expression>> mcrl2::pbes_system::find_equalities(const pbes_expression &x)

std::map<data::variable, std::set<data::data_expression>> mcrl2::pbes_system::find_inequalities(const pbes_expression &x)