mysql::sets::Is_boundary_iterator Concept Reference

True if Test is a boundary point iterator, i.e. More...

#include <boundary_set_meta.h>

Concept definition

template<class Test>
concept mysql::sets::Is_boundary_iterator = 
    std::forward_iterator<Test> &&  
    requires(const Test iterator) {
      { iterator.is_endpoint() } -> std::convertible_to<bool>;
      
      
      
      
      
      
    }

Detailed Description

True if Test is a boundary point iterator, i.e.

:

• Test is a forward iterator (or stronger)
• Test has a member is_endpoint() that returns bool

In addition, the following semantic requirements must hold:

• is_endpoint() returns true for every second element and false for every second element. It is allowed to call is_endpoint() even for the end iterator, and then it must return false.
• values are strictly increasing, i.e., if j == std::next(i), and both *i and *j are defined, then *j > *i.