data_construction.h File Reference

add your file description here. More...

Go to the source code of this file.

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
data_expression	mcrl2::data::detail::create_finite_set (const data_expression &x)
	Create the finite set { x }, with x a data expression.
data_expression	mcrl2::data::detail::create_set_comprehension (const variable &x, const data_expression &phi)
	Create the set { x | phi }, with phi a predicate that may depend on the variable x.
data_expression	mcrl2::data::detail::create_set_in (const data_expression &x, const data_expression &X)
	Create the predicate 'x in X', with X a set.
sort_expression	mcrl2::data::detail::get_set_sort (const container_sort &x)
	Returns the sort s of Set(s).

Detailed Description

add your file description here.

Definition in file data_construction.h.