Expand description
Finite-support, document-keyed relations.
A Relation<K> represents a finite-support function DocId -> K.
Pointwise sum and product are available only when K implements
Semiring. This keeps value-combination laws explicit instead of
attributing them to the physical posting-list container.
Structs§
- LogSemiring
- A log-space semiring element.
- Relation
- A finite-support function from document ids to semiring values.
- Relation
Entry - One non-zero value in a
Relation.
Traits§
- Semiring
- Value operations required by
Relation::plusandRelation::times.