The class data_equation. More...

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::sort_bool
	Namespace for system defined sort bool_.

Typedefs
typedef atermpp::term_list< data_equation >	mcrl2::data::data_equation_list
	\brief list of data_equations

typedef std::vector< data_equation >	mcrl2::data::data_equation_vector
	\brief vector of data_equations

Functions
const function_symbol &	mcrl2::data::sort_bool::true_ ()
	Constructor for function symbol true.

template<class... ARGUMENTS>
void	mcrl2::data::make_data_equation (atermpp::aterm &t, const ARGUMENTS &... args)

std::string	mcrl2::data::pp (const data_equation &x)

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

void	mcrl2::data::swap (data_equation &t1, data_equation &t2)
	\brief swap overload

bool	mcrl2::data::is_data_equation (const atermpp::aterm &t)
	Recognizer function.

std::string	mcrl2::data::pp (const data_equation_list &x)

std::string	mcrl2::data::pp (const data_equation_vector &x)

data::data_equation	mcrl2::data::translate_user_notation (const data::data_equation &x)

std::set< data::sort_expression >	mcrl2::data::find_sort_expressions (const data::data_equation &x)

std::set< data::function_symbol >	mcrl2::data::find_function_symbols (const data::data_equation &x)

Detailed Description

The class data_equation.

Definition in file data_equation.h.

Classes