mcrl2::data::exists_binder =============================================================================== Include file: .. code-block:: c++ #include "mcrl2/data/binder_type.h .. cpp:class:: mcrl2::data::exists_binder Binder for existential quantification. Public member functions ------------------------------------------------------------------------------- .. cpp:function:: exists_binder() Default constructor. .. cpp:function:: exists_binder(const atermpp::aterm &term) Constructor. **Parameters:** * **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