data_expression.h File Reference

The class data_expression. More...

Go to the source code of this file.

Classes
class	mcrl2::data::data_expression
	data expression. More...
struct	std::hash< mcrl2::data::data_expression >

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	std
	STL namespace.

Typedefs
typedef atermpp::term_list< data_expression >	mcrl2::data::data_expression_list
	\brief list of data_expressions
typedef std::vector< data_expression >	mcrl2::data::data_expression_vector
	\brief vector of data_expressions
typedef atermpp::term_list< variable >	mcrl2::data::variable_list
	\brief list of variables

Functions
bool	mcrl2::data::is_abstraction (const atermpp::aterm &x)
	Returns true if the term t is an abstraction.
bool	mcrl2::data::is_lambda (const atermpp::aterm &x)
	Returns true if the term t is a lambda abstraction.
bool	mcrl2::data::is_forall (const atermpp::aterm &x)
	Returns true if the term t is a universal quantification.
bool	mcrl2::data::is_exists (const atermpp::aterm &x)
	Returns true if the term t is an existential quantification.
bool	mcrl2::data::is_set_comprehension (const atermpp::aterm &x)
	Returns true if the term t is a set comprehension.
bool	mcrl2::data::is_bag_comprehension (const atermpp::aterm &x)
	Returns true if the term t is a bag comprehension.
bool	mcrl2::data::is_untyped_set_or_bag_comprehension (const atermpp::aterm &x)
	Returns true if the term t is a set/bag comprehension.
bool	mcrl2::data::is_function_symbol (const atermpp::aterm &x)
	Returns true if the term t is a function symbol.
bool	mcrl2::data::is_variable (const atermpp::aterm &x)
	Returns true if the term t is a variable.
bool	mcrl2::data::is_machine_number (const atermpp::aterm &x)
	Returns true if the term t is a machine_number.
bool	mcrl2::data::is_application (const atermpp::aterm &x)
	Returns true if the term t is an application.
bool	mcrl2::data::is_application_no_check (const atermpp::aterm &x)
	Returns true if the term t is an application, but it does not check whether an application symbol of sufficient arity exists, assuming this is ok.
bool	mcrl2::data::is_where_clause (const atermpp::aterm &x)
	Returns true if the term t is a where clause.
bool	mcrl2::data::is_untyped_identifier (const atermpp::aterm &x)
	Returns true if the term t is an identifier.
std::string	mcrl2::data::pp (const data_expression &x)
std::ostream &	mcrl2::data::operator<< (std::ostream &out, const data_expression &x)
void	mcrl2::data::swap (data_expression &t1, data_expression &t2)
	\brief swap overload
void	mcrl2::data::make_data_expression (data_expression &result)
bool	mcrl2::data::is_data_expression (const atermpp::aterm &x)
	Test for a data_expression expression.
template<typename Container >
data_expression_list	mcrl2::data::make_data_expression_list (Container const &r, typename atermpp::enable_if_container< Container, data_expression >::type *=nullptr)
	Converts an container with data expressions to data_expression_list.
std::string	mcrl2::data::pp (const data_expression_list &x)
std::string	mcrl2::data::pp (const data_expression_vector &x)
data::data_expression	mcrl2::data::translate_user_notation (const data::data_expression &x)
std::set< data::sort_expression >	mcrl2::data::find_sort_expressions (const data::data_expression &x)
std::set< data::variable >	mcrl2::data::find_all_variables (const data::data_expression &x)
std::set< data::variable >	mcrl2::data::find_all_variables (const data::data_expression_list &x)
std::set< data::variable >	mcrl2::data::find_free_variables (const data::data_expression &x)
std::set< data::variable >	mcrl2::data::find_free_variables (const data::data_expression_list &x)
bool	mcrl2::data::search_variable (const data::data_expression &x, const data::variable &v)
bool	mcrl2::data::is_constant (const data_expression &x)
variable_list	mcrl2::data::free_variables (const data_expression &x)
bool	mcrl2::data::is_application (const data_expression &t)
	Returns true if the term t is an application.
const data_expression_list &	mcrl2::data::variable_list_to_data_expression_list (const variable_list &l)
	Transform a variable_list into a data_expression_list.

Detailed Description

The class data_expression.

Definition in file data_expression.h.