data_specification.h File Reference

The class data_specification. More...

Go to the source code of this file.

Classes
class	mcrl2::data::data_specification
	data specification. 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.

Functions
data_expression	mcrl2::data::normalize_sorts (const data_expression &x, const data::sort_specification &sortspec)
variable_list	mcrl2::data::normalize_sorts (const variable_list &x, const data::sort_specification &sortspec)
data::data_equation	mcrl2::data::normalize_sorts (const data::data_equation &x, const data::sort_specification &sortspec)
data_equation_list	mcrl2::data::normalize_sorts (const data_equation_list &x, const data::sort_specification &sortspec)
void	mcrl2::data::normalize_sorts (data_equation_vector &x, const data::sort_specification &sortspec)
std::string	mcrl2::data::pp (const data::data_specification &x)
bool	mcrl2::data::is_data_specification (const atermpp::aterm &x)
	Test for a data specification expression.
std::ostream &	mcrl2::data::operator<< (std::ostream &out, const data_specification &x)
data_specification	mcrl2::data::operator+ (data_specification spec1, const data_specification &spec2)
	Merges two data specifications into one.
function_symbol	mcrl2::data::find_mapping (data_specification const &data, std::string const &s)
	Finds a mapping in a data specification.
function_symbol	mcrl2::data::find_constructor (data_specification const &data, std::string const &s)
	Finds a constructor in a data specification.
sort_expression	mcrl2::data::find_sort (data_specification const &data, std::string const &s)
	Finds a sort in a data specification.
data_equation_vector	mcrl2::data::find_equations (data_specification const &specification, const data_expression &d)
	Gets all equations with a data expression as head on one of its sides.
variable_list	mcrl2::data::order_variables_to_optimise_enumeration (const variable_list &l, const data_specification &data_spec)
	Order the variables in a variable list such that enumeration over these variables becomes more efficient.
std::set< core::identifier_string >	mcrl2::data::function_and_mapping_identifiers (const data_specification &dataspec)
	Returns the names of functions and mappings that occur in a data specification.

Detailed Description

The class data_specification.

Definition in file data_specification.h.