Aleph-w 3.0
A C++ Library for Data Structures and Algorithms
Loading...
Searching...
No Matches
Aleph::SparseTableOp Concept Reference

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

#include <tpl_sparse_table.H>

Concept definition

template<typename F, typename T>
concept Aleph::SparseTableOp = IdempotentOp<F, T>
Aleph::IdempotentOp
A closed binary operation not known to break idempotency.
Definition tpl_sparse_table.H:156
Aleph::SparseTableOp
Binary operation compatible with Sparse Table queries.
Definition tpl_sparse_table.H:168

Detailed Description

Binary operation compatible with Sparse Table queries.

Same as IdempotentOp; the name is kept for source compatibility.

Note
Only known non-idempotent functors are rejected. For Sparse Table correctness, F must also satisfy the semantic laws: associativity and idempotency.

Definition at line 168 of file tpl_sparse_table.H.