Namespace List

Here is a list of all namespaces with brief descriptions:

[detail level 12]

▼Nsemiring
CBoolean	The Boolean semiring over bool
CBoolExpr	Provenance-as-Boolean-circuit semiring
CCounting	The counting semiring over unsigned
CFormula	Symbolic provenance formula semiring over std::string
CSemiring	Abstract base class for (m-)semirings
CSemiringException	Exception thrown when a semiring operation is not supported
CWhy	Why-provenance semiring
▼Nstd
Chash< flat_map< K, V, Storage > >	std::hash specialisation for flat_map, enabling use as an unordered container key
Chash< flat_set< T, Storage, h > >	std::hash specialisation for flat_set, enabling use as an unordered container key