mcrl2::data::exists

Include file:

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

existential quantification.

Public member functions

exists(const data_expression &d)

Constructor.

Parameters:

  • d A data expression

Pre: d has the internal structure of an abstraction.

Pre: d is an existential quantification.

exists(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 exists abstraction.

Pre: variables is not empty.

exists(const exists&) noexcept = default

Move semantics.

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