mcrl2::data::set_comprehension_binder¶

Include file:

#include "mcrl2/data/binder_type.h

class mcrl2::data::set_comprehension_binder¶: Binder for set comprehension.

Public member functions¶

set_comprehension_binder &operator=(const set_comprehension_binder&) noexcept = default¶

set_comprehension_binder &operator=(set_comprehension_binder&&) noexcept = default¶

set_comprehension_binder()¶: Default constructor.

set_comprehension_binder(const atermpp::aterm &term)¶

Constructor.

Parameters:

term A term

set_comprehension_binder(const set_comprehension_binder&) noexcept = default¶: Move semantics.

set_comprehension_binder(set_comprehension_binder&&) noexcept = default¶