data_functional.h File Reference

Add your file description here. More...

Go to the source code of this file.

Classes
struct	mcrl2::data::detail::compare_term< Term >
struct	mcrl2::data::detail::compare_sort
	Tests if a term is a sort, and if it is equal to s. More...
struct	mcrl2::data::detail::compare_variable
	Function object that determines if a term is equal to a given data variable. More...
struct	mcrl2::data::detail::variable_name
	Function object that returns the name of a data variable. More...
struct	mcrl2::data::detail::sort_of_expression< Expression >
	Function object that returns the sort of a data expression. More...
struct	mcrl2::data::detail::sort_has_name
struct	mcrl2::data::detail::function_symbol_has_name

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

Typedefs
typedef sort_of_expression< variable >	mcrl2::data::detail::sort_of_variable
	Function object that returns the sort of a data variable.

Detailed Description

Add your file description here.

Definition in file data_functional.h.