Module registry 

Automatic reduction registration via inventory.

Structs

EdgeCapabilities

Execution capabilities carried by a reduction edge.

ReductionEntry

A registered reduction entry for static inventory registration. Uses function pointers to lazily derive variant fields from Problem::variant().

ReductionOverhead

Overhead specification for a reduction.

Functions

reduction_entries

Return all registered reduction entries.

Type Aliases

AggregateReduceFn

Aggregate/value reduction executor stored in the inventory.

ReduceFn

Witness/config reduction executor stored in the inventory.