semiring Namespace Reference

Classes
class	Boolean
	The Boolean semiring over bool. More...
class	BoolExpr
	Provenance-as-Boolean-circuit semiring. More...
class	Counting
	The counting semiring over unsigned. More...
class	Formula
	Symbolic provenance formula semiring over std::string. More...
class	Semiring
	Abstract base class for (m-)semirings. More...
class	SemiringException
	Exception thrown when a semiring operation is not supported. More...
class	Why
	Why-provenance semiring. More...

Typedefs
using	label_t = std::string
	A single label identifying a base tuple.
using	label_set = std::set< label_t >
	A witness: a set of labels that collectively justify one derivation.
using	why_provenance_t = std::set< label_set >
	Why-provenance value: the full set of all witnesses.

Typedef Documentation

label_set

using semiring::label_set = typedef std::set<label_t>

A witness: a set of labels that collectively justify one derivation.

Definition at line 38 of file Why.h.

label_t

using semiring::label_t = typedef std::string

A single label identifying a base tuple.

Definition at line 36 of file Why.h.

why_provenance_t

using semiring::why_provenance_t = typedef std::set<label_set>

Why-provenance value: the full set of all witnesses.

Definition at line 40 of file Why.h.