mcrl2/data/find_equalities.h

Include file:

#include "mcrl2/data/find_equalities.h"

add your file description here.

Classes

• mcrl2::data::detail::equality_set_with_top
• mcrl2::data::detail::find_equalities_expression
• mcrl2::data::detail::find_equalities_traverser
• mcrl2::data::detail::find_equalities_traverser_inst

Functions

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

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

std::string mcrl2::data::print_equalities(const std::map<variable, std::set<data_expression>> &equalities)

std::string mcrl2::data::print_inequalities(const std::map<variable, std::set<data_expression>> &inequalities)

Functions

std::ostream &mcrl2::data::detail::operator<<(std::ostream &out, const find_equalities_expression &x)