Sets

This file defines the primary template classes and factory functions for Union_view, Intersection_view, and Subtraction_view. More...

Collaboration diagram for Sets:

Namespaces
namespace	mysql
namespace	mysql::sets
namespace	mysql::sets::throwing
namespace	mysql::sets::throwing::detail
namespace	mysql::sets::detail
namespace	mysql::sets::strconv
namespace	mysql::strconv

Detailed Description

This file defines the primary template classes and factory functions for Union_view, Intersection_view, and Subtraction_view.

This file defines helper functions used by views whose source(s) are optional.

This file defines the category tag class and the type traits (concepts) related to boundary sets.

Each set category may specialize the primary template to classes of the category. The operands may be of different types, but must have the same Set traits.

This file also declares that the views satisfy std::ranges::view. And it contains a helper enum type that lists the three set operations.

The main traits are the following:

• Is_interval_set<T>: true if T is an interval set: essentially has the members defined by std::view_interface, with Interval as the iterator value type, and a boundaries() member function that returns the underlying boundary set.

• Is_interval_container<T>: true if T is an interval container: this is an interval set with additional members clear, assign, insert, remove, inplace_union, inplace_subtract, inplace_intersection, requiring that boundaries() returns a boundary container.

  When an optional source is absent, it is treated as an empty set.