mcrl2::data::data_expression

Include file:

#include "mcrl2/data/data_expression.h
class mcrl2::data::data_expression

data expression.

A data expression can be any of:variablefunction symbolapplicationabstractionwhere clauseset enumerationbag enumeration A data expression

Public member functions

data_expression()

Default constructor.

data_expression(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
data_expression(const data_expression&) noexcept = default

Move semantics.

data_expression(data_expression&&) noexcept = default
application operator()(const data_expression &e) const

Apply a data expression to a data expression.

application operator()(const data_expression &e1, const data_expression &e2) const

Apply data expression to two data expressions.

application operator()(const data_expression &e1, const data_expression &e2, const data_expression &e3) const

Apply data expression to three data expressions.

application operator()(const data_expression &e1, const data_expression &e2, const data_expression &e3, const data_expression &e4) const

Apply data expression to four data expressions.

data_expression &operator=(const data_expression&) noexcept = default
data_expression &operator=(data_expression&&) noexcept = default
sort_expression sort() const

Returns the sort of the data expression.

Private member functions

const_iterator begin() const
const_iterator end() const