mcrl2::data::untyped_set_or_bag_comprehension¶
Include file:
#include "mcrl2/data/untyped_set_or_bag_comprehension.h
-
class
mcrl2::data::untyped_set_or_bag_comprehension¶ universal quantification.
Public member functions¶
-
untyped_set_or_bag_comprehension &
operator=(const untyped_set_or_bag_comprehension&) noexcept = default¶
-
untyped_set_or_bag_comprehension &
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¶
