Aleph::DisjointSparseTableOp Concept Reference

Binary operation compatible with Disjoint Sparse Table queries. More...

#include <tpl_disjoint_sparse_table.H>

Concept definition

template<typename F, typename T>
concept Aleph::DisjointSparseTableOp =  Aleph::ClosedBinaryOp<F, T>

Detailed Description

Binary operation compatible with Disjoint Sparse Table queries.

Alias of Aleph::ClosedBinaryOp kept for source compatibility.

Note

This concept checks only the call signature. For Disjoint Sparse Table correctness, F must satisfy associativity: f(f(a, b), c) == f(a, f(b, c)). Idempotency is not required.

Definition at line 116 of file tpl_disjoint_sparse_table.H.