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