Class List

Here are the classes, structs, unions and interfaces with brief descriptions:

[detail level 12]

Nprovsql
CConditionalScalarSamples	Outcome of a conditional Monte Carlo sampling pass
CDistributionSpec	Parsed distribution spec (kind + up to two parameters)
CTruncatedSingleRv	Detection result for a closed-form, optionally-truncated single-RV shape
CDiracShape	Point mass at a finite scalar value (a gate_value root, or an as_random(c) leaf surfaced as a gate_value)
CCategoricalShape	Categorical distribution over a finite outcome set
CBernoulliMixtureShape	Bernoulli mixture (gate_mixture with the [p_token, x_token, y_token] shape)
Nsemiring
CBoolean	The Boolean semiring over bool
CBoolExpr	Provenance-as-Boolean-circuit semiring
CCounting	The counting semiring over unsigned
CFormula	Symbolic provenance representation over std::string
CHow	How-provenance m-semiring over \(\mathbb{N}[X]\)
CIntervalUnion	Interval-union m-semiring with Datum carrier, parameterised by a multirange type OID
CLukasiewicz	The Łukasiewicz fuzzy m-semiring over double
CMinMax	Min-max / max-min m-semiring with Datum carrier over a PostgreSQL enum type
CSemiringException	Exception thrown when a semiring operation is not supported
CSemiring	Abstract base class for (m-)semirings
CTropical	Tropical (min-plus) m-semiring over double
CViterbi	The Viterbi (max-times) m-semiring over double
CWhich	Which-provenance (lineage) semiring
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
Cancestry_cache_entry
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
CConn
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
CGateData
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
Cinsert_agg_token_casts_context	Context for the insert_agg_token_casts_mutator
Ckey_cache_entry
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
Cvalue_t	One slot in the hash table: a UUID key and its associated integer value
Ctable_t	On-disk layout of the hash table stored in the mmap file
CMMappedVector	Append-only, mmap-backed vector of elements of type T
Cdata_t	On-disk layout stored at the start of the backing file
CNewHashSlot
CNewTableHdr
CNewVecHdr
CNoneAgg	Aggregator that ignores all inputs and always returns NULL
COldCircuit
COldHashSlot
COldMMapHash
COldMMapVec
COldTableHdr
COldVecHdr
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
CProvenanceRelationKey	One PRIMARY-KEY or NOT-NULL-UNIQUE key on a relation
CProvenanceRelationKeys	Per-relation set of PRIMARY-KEY and NOT-NULL-UNIQUE keys
CProvenanceTableInfo	Per-relation metadata for the safe-query optimisation
CProvSQLClassification	Result of provsql_classify_query
CProvSQLCtasCapture	State captured by the pre-execution pass for the post-execution one
CprovsqlSharedState	Shared state stored in the PostgreSQL shared-memory segment
Crandom_variable	Binary internal layout of random_variable
Creduce_varattno_mutator_context	Context for the reduce_varattno_mutator tree walker
CRes
Csafe_collect_varnos_ctx	Walker context for safe_collect_varnos_walker
Csafe_collect_vars_ctx	Walker context for safe_collect_vars_walker
Csafe_flatten_join_ctx	Walker context for safe_flatten_join_arm
Csafe_inline_compact_ctx	Walker context for safe_inline_compact_mutator
Csafe_inline_shift_ctx	Walker context for safe_inline_shift_mutator
Csafe_inline_subst_ctx	Walker context for safe_inline_subst_mutator
Csafe_inner_group	Descriptor for an inner sub-Query introduced when one or more shared classes have partial coverage
Csafe_inner_varno_remap_ctx	Mutator context for safe_inner_varno_remap_mutator
Csafe_outer_te_remap_ctx	Mutator context for safe_outer_te_remap_mutator
Csafe_proj_slot	One projected column of an atom's wrapping subquery
Csafe_pushed_remap_ctx	Mutator context for safe_pushed_remap_mutator
Csafe_remap_ctx	Mutator context for safe_remap_vars_mutator
Csafe_rewrite_atom	Per-atom rewrite metadata discovered by the hierarchy detector
Csafe_unify_remap_ctx	Mutator context for safe_unify_remap_mutator
CStandardAgg	Base aggregator template for scalar types (int, float, bool, string)
CSumAgg	Aggregator implementing SUM for integer or float types
Ctable_info_cache_entry
CTreeDecomposition	Tree decomposition of a Boolean circuit's primal graph
CTreeDecompositionException	Exception thrown when a tree decomposition cannot be constructed
CUUIDEq
CUUIDHash
CWhereCircuit	Circuit encoding where-provenance (column-level data origin)
CLocator	Describes the origin of a single attribute value