Class List

Here are the classes, structs, unions and interfaces 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
Cagg_token	Aggregate token bundling a provenance UUID with a running value
Caggregation_mutator_context	Context for the aggregation_mutator tree walker
Caggregation_type_mutator_context	Context for the aggregation_type_mutator tree walker
CAggregator	Abstract interface for an incremental aggregate accumulator
CAggValue	A dynamically-typed aggregate value
CAndAgg	Aggregator implementing boolean AND (returns false if any input is false)
CArrayAgg	Aggregator implementing ARRAY_AGG; collects all non-NULL inputs into an array
CAvgAgg	Aggregator implementing AVG; always returns a float result
CBooleanCircuit	Boolean circuit for provenance formula evaluation
CChooseAgg	Aggregator implementing CHOOSE (returns the first non-NULL input)
CCircuit	Generic template base class for provenance circuits
CCircuitCache	Bounded LRU cache mapping gate UUIDs to their CircuitCacheInfos
CCircuitCacheInfos	All information stored for a single gate in the circuit cache
CCircuitException	Exception type thrown by circuit operations on invalid input
Cconstants_t	Structure to store the value of various constants
Cdatabase_constants_t	Structure to store the value of various constants for a specific database
CdDNNF	A d-DNNF circuit supporting exact probabilistic and game-theoretic evaluation
▼CdDNNFTreeDecompositionBuilder	Builds a d-DNNF from a Boolean circuit using a tree decomposition
CdDNNFGate	Intermediate representation of a partially built d-DNNF gate
CDotCircuit	Circuit specialisation for GraphViz DOT rendering
CFalse
Cflat_map	Flat associative map with pluggable storage
Cflat_set	Flat set with pluggable storage
CGateInformation	Per-gate metadata stored in the gates MMappedVector
CGenericCircuit	In-memory provenance circuit with semiring-generic evaluation
CGraph	Mutable adjacency-list graph over unsigned-long node IDs
Chash_gate_t	std::hash functor for gate_t
CMaxAgg	Aggregator implementing MAX for integer or float types
CMinAgg	Aggregator implementing MIN for integer or float types
CMMappedCircuit	Persistent mmap-backed representation of the provenance circuit
▼CMMappedUUIDHashTable	Persistent open-addressing hash table mapping UUIDs to integers
Ctable_t	On-disk layout of the hash table stored in the mmap file
Cvalue_t	One slot in the hash table: a UUID key and its associated integer value
▼CMMappedVector	Append-only, mmap-backed vector of elements of type T
Cdata_t	On-disk layout stored at the start of the backing file
CNoneAgg	Aggregator that ignores all inputs and always returns NULL
COrAgg	Aggregator implementing boolean OR (returns true if any input is true)
▼CPermutationStrategy	Node-elimination ordering strategy using a priority queue
Cnode_type	Entry in the priority queue
Cpg_uuid_t	UUID structure
Cprovenance_mutator_context	Context for the provenance_mutator tree walker
CprovsqlSharedState	Shared state stored in the PostgreSQL shared-memory segment
Creduce_varattno_mutator_context	Context for the reduce_varattno_mutator tree walker
CStandardAgg	Base aggregator template for scalar types (int, float, bool, string)
CSumAgg	Aggregator implementing SUM for integer or float types
CTreeDecomposition	Tree decomposition of a Boolean circuit's primal graph
CTreeDecompositionException	Exception thrown when a tree decomposition cannot be constructed
▼CWhereCircuit	Circuit encoding where-provenance (column-level data origin)
CLocator	Describes the origin of a single attribute value