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 brief A data expression
Public member functions¶
-
data_expression()¶ brief Default constructor.
-
data_expression(const data_expression&) noexcept = default¶ Move semantics.
-
data_expression(data_expression&&) noexcept = default¶
-
bool
is_default_data_expression() const¶ A function to efficiently determine whether a data expression is made by the default constructor.
-
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.
