mcrl2::data::exists_binder =============================================================================== Include file: .. code-block:: c++ #include "mcrl2/data/binder_type.h .. cpp:class:: mcrl2::data::exists_binder \brief Binder for existential quantification Public member functions ------------------------------------------------------------------------------- .. cpp:function:: exists_binder() \brief Default constructor. .. cpp:function:: exists_binder(const atermpp::aterm &term) \brief Constructor. \param term A term .. cpp:function:: exists_binder(const exists_binder &) noexcept=default Move semantics. .. cpp:function:: exists_binder(exists_binder &&) noexcept=default .. cpp:function:: exists_binder& operator=(const exists_binder &) noexcept=default .. cpp:function:: exists_binder& operator=(exists_binder &&) noexcept=default