mysql::sets::Is_readable_boundary_storage Concept Reference

True if Test is a readable boundary storage, i.e., an object that can be used as the back-end storage for a boundary container, without the requirement to have altering operations. More...

#include <boundary_set_meta.h>

Concept definition

template<class Test>
concept mysql::sets::Is_readable_boundary_storage = 
    detail::Is_readable_boundary_storage_helper<
        Test, mysql::ranges::Range_iterator_type<Test>,
        mysql::ranges::Range_const_iterator_type<Test>,
        typename Test::Element_t>

Detailed Description

True if Test is a readable boundary storage, i.e., an object that can be used as the back-end storage for a boundary container, without the requirement to have altering operations.

Normally, use Is_boundary_storage instead. This weaker form is usable when constraining parameters of the altering operations themselves, to prevent circular dependencies among constraints.

This requires the following:

• Test satisfies Is_collection and Is_upper_lower_bound_implementation.
• Test::Set_traits_t satisfies Is_bounded_set_traits
• The iterators for Test satisfy Is_boundary_iterator.
• The value types for the iterators equal Test::Element_t and Test::Set_traits_t::Element_t.