mysql::sets::Is_discrete_set_traits Concept Reference

True if Test is a "discrete" Set traits class, i.e., it bounded, and it is possible to compute successors and predecessors. More...

#include <set_traits.h>

Concept definition

template<class Test>
concept mysql::sets::Is_discrete_set_traits = 
    Is_bounded_set_traits<Test> &&
    requires(typename Test::Element_t v1, typename Test::Element_t v2) {
      { Test::next(v1) } -> std::same_as<typename Test::Element_t>;
      { Test::prev(v1) } -> std::same_as<typename Test::Element_t>;
    }

Detailed Description

True if Test is a "discrete" Set traits class, i.e., it bounded, and it is possible to compute successors and predecessors.

This requires that each value has a successor and a predecessor given by the static member functions prev and next.