mcrl2::data::bag_comprehension

Include file:

#include "mcrl2/data/bag_comprehension.h

class mcrl2::data::bag_comprehension

universal quantification.

Public member functions

bag_comprehension(bag_comprehension&&) noexcept = default

bag_comprehension(const aterm &d)

Constructor.

Parameters:

• d An aterm.

Pre: d has the interal structure of an abstraction.

Pre: d is a universal quantification.

bag_comprehension(const bag_comprehension&) noexcept = default

Move semantics.

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 bag_comprehension abstraction.

Pre: variables is not empty.

bag_comprehension &operator=(bag_comprehension&&) noexcept = default

bag_comprehension &operator=(const bag_comprehension&) noexcept = default