Include file:
#include "mcrl2/data/untyped_set_or_bag_comprehension.h
mcrl2::data::
untyped_set_or_bag_comprehension
¶universal quantification.
operator=
(const untyped_set_or_bag_comprehension&) noexcept = default¶operator=
(untyped_set_or_bag_comprehension&&) noexcept = default¶untyped_set_or_bag_comprehension
(const data_expression &d)¶Constructor.
Parameters:
d A data expression.
Pre: d has the interal structure of an abstraction.
Pre: d is a universal quantification.
untyped_set_or_bag_comprehension
(const Container &variables, const data_expression &body, typename atermpp::enable_if_container<Container, variable>::type * = nullptr)¶Constructor.
Parameters:
variables A nonempty list of binding variables (objects of type variable).
body The body of the untyped_set_or_bag_comprehension abstraction.
Pre: variables is not empty.
untyped_set_or_bag_comprehension
(const untyped_set_or_bag_comprehension&) noexcept = default¶Move semantics.
untyped_set_or_bag_comprehension
(untyped_set_or_bag_comprehension&&) noexcept = default¶