Aleph::SegmentTreeOp Concept Reference

Binary operation compatible with Segment Tree queries. More...

#include <tpl_segment_tree.H>

Concept definition

template<typename F, typename T>
concept Aleph::SegmentTreeOp = 
      requires(const F& f, const T& a, const T& b)
        {
          { f(a, b) } -> std::convertible_to<T>;
        }

Detailed Description

Binary operation compatible with Segment Tree queries.

This concept is used by Gen_Segment_Tree to constrain the binary operation passed as template parameter.

Template Parameters

F	Binary functor type.
T	Value type.

Requirements

• f(a, b) must be well-formed for const T& a, const T& b.
• The result must be convertible to T.

Note

This concept only checks the call signature. For correctness of range queries, F must define an associative operation and the caller must provide a correct identity element where required.

Definition at line 100 of file tpl_segment_tree.H.