semiring Directory Reference

Directory dependency graph for semiring:

Files
	Boolean.h
	Boolean semiring ({false, true}, ∨, ∧, false, true).
	BoolExpr.h
	Boolean-expression (lineage formula) semiring.
	Counting.h
	Counting semiring (ℕ, +, ×, 0, 1).
	Formula.h
	Symbolic representation of provenance as a human-readable formula.
	How.h
	How-provenance m-semiring (canonical polynomial provenance ℕ[X]).
	IntervalUnion.h
	Interval-union m-semiring over PostgreSQL multirange types.
	Lukasiewicz.h
	Łukasiewicz fuzzy m-semiring over \([0,1]\).
	MinMax.h
	Min-max and max-min m-semirings over PostgreSQL enum types.
	Semiring.h
	Abstract semiring interface for provenance evaluation.
	Tropical.h
	Tropical (min-plus) m-semiring over \(\mathbb{R} \cup \{+\infty\}\).
	Viterbi.h
	Viterbi (max-times) m-semiring over \([0,1]\).
	Which.h
	Which-provenance (lineage) m-semiring.
	Why.h
	Why-provenance semiring (set of witness sets).