mcrl2::data::set_comprehension

Include file:

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

universal quantification.

Public member functions

set_comprehension &operator=(const set_comprehension&) noexcept = default
set_comprehension &operator=(set_comprehension&&) noexcept = default
set_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.

set_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 set_comprehension abstraction.

Pre: variables is not empty.

set_comprehension(const set_comprehension&) noexcept = default

Move semantics.

set_comprehension(set_comprehension&&) noexcept = default