mysql::sets::Is_boundary_container Concept Reference

True if Test is a Boundary container. More...

#include <boundary_set_meta.h>

Concept definition

template<class Test>
concept mysql::sets::Is_boundary_container = 
    Is_boundary_set<Test> &&
    detail::Is_boundary_or_interval_container_helper<
        Test, typename Test::Set_traits_t::Element_t,
        typename Test::Set_traits_t::Element_t,
        typename Test::Set_traits_t::Element_t> &&
    requires(Test t, typename Test::Set_traits_t::Element_t start,
             typename Test::Set_traits_t::Element_t exclusive_end,
             mysql::ranges::Range_iterator_type<Test> it) {
      t.inplace_union(it, start, exclusive_end);
      t.inplace_subtract(it, start, exclusive_end);
    }

Detailed Description

True if Test is a Boundary container.

This requires that the container is a boundary set, has nothrow move constructor/assignment operator, and that it has the following members:

test.assign(source);
test.clear();
test.insert(value);
test.remove(value);
test.inplace_union(source);
test.inplace_union(start, exclusive_end);
test.inplace_union(cursor, start, exclusive_end);
test.inplace_subtract(source);
test.inplace_subtract(start, exclusive_end);
test.inplace_subtract(cursor, start, exclusive_end);
test.inplace_intersect(source);
test.inplace_intersect(start, exclusive_end);