mcrl2/data/find_equalities.h

Include file:

#include "mcrl2/data/find_equalities.h"

add your file description here.

Classes

  • 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)