add your file description here. More...

Classes
struct	mcrl2::data::detail::equality_set_with_top

struct	mcrl2::data::detail::find_equalities_expression

struct	mcrl2::data::detail::find_equalities_traverser< Traverser, Derived >

struct	mcrl2::data::detail::find_equalities_traverser_inst

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.

namespace	mcrl2::data
	Namespace for all data library functionality.

namespace	mcrl2::data::detail

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

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)

Detailed Description

add your file description here.

Definition in file find_equalities.h.

Classes