Include file:
#include "mcrl2/data/binder_type.h
mcrl2::data::
set_comprehension_binder
¶brief Binder for set comprehension
operator=
(const set_comprehension_binder&) noexcept = default¶operator=
(set_comprehension_binder&&) noexcept = default¶set_comprehension_binder
()¶brief Default constructor.
set_comprehension_binder
(const set_comprehension_binder&) noexcept = default¶Move semantics.
set_comprehension_binder
(set_comprehension_binder&&) noexcept = default¶