Class Hierarchy

Go to the graphical class hierarchy

This inheritance list is sorted roughly, but not completely, alphabetically:

[detail level 123]

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
CStandardAgg< bool >
CAndAgg	Aggregator implementing boolean AND (returns false if any input is false)
COrAgg	Aggregator implementing boolean OR (returns true if any input is true)
CAvgAgg< T >	Aggregator implementing AVG; always returns a float result
CNoneAgg	Aggregator that ignores all inputs and always returns NULL
CStandardAgg< T >	Base aggregator template for scalar types (int, float, bool, string)
CArrayAgg< T >	Aggregator implementing ARRAY_AGG; collects all non-NULL inputs into an array
CChooseAgg< T >	Aggregator implementing CHOOSE (returns the first non-NULL input)
CMaxAgg< T >	Aggregator implementing MAX for integer or float types
CMinAgg< T >	Aggregator implementing MIN for integer or float types
CSumAgg< T >	Aggregator implementing SUM for integer or float types
CAggValue	A dynamically-typed aggregate value
Cancestry_cache_entry
Cprovsql::BernoulliMixtureShape	Bernoulli mixture (gate_mixture with the [p_token, x_token, y_token] shape)
Cstd::bool_constant
CFalse<... >
Cprovsql::CategoricalShape	Categorical distribution over a finite outcome set
CCircuit< gateType >	Generic template base class for provenance circuits
CCircuit< BooleanGate >
CBooleanCircuit	Boolean circuit for provenance formula evaluation
CdDNNF	A d-DNNF circuit supporting exact probabilistic and game-theoretic evaluation
CCircuit< DotGate >
CDotCircuit	Circuit specialisation for GraphViz DOT rendering
CCircuit< gate_type >
CGenericCircuit	In-memory provenance circuit with semiring-generic evaluation
CCircuit< WhereGate >
CWhereCircuit	Circuit encoding where-provenance (column-level data origin)
CCircuitCache	Bounded LRU cache mapping gate UUIDs to their CircuitCacheInfos
CCircuitCacheInfos	All information stored for a single gate in the circuit cache
Cprovsql::ConditionalScalarSamples	Outcome of a conditional Monte Carlo sampling pass
CConn
Cconstants_t	Structure to store the value of various constants
CMMappedVector< T >::data_t	On-disk layout stored at the start of the backing file
Cdatabase_constants_t	Structure to store the value of various constants for a specific database
CdDNNFTreeDecompositionBuilder::dDNNFGate	Intermediate representation of a partially built d-DNNF gate
CdDNNFTreeDecompositionBuilder	Builds a d-DNNF from a Boolean circuit using a tree decomposition
Cprovsql::DiracShape	Point mass at a finite scalar value (a gate_value root, or an as_random(c) leaf surfaced as a gate_value)
Cprovsql::DistributionSpec	Parsed distribution spec (kind + up to two parameters)
Cstd::exception
CCircuitException	Exception type thrown by circuit operations on invalid input
CTreeDecompositionException	Exception thrown when a tree decomposition cannot be constructed
Csemiring::SemiringException	Exception thrown when a semiring operation is not supported
Cflat_map< Key, Value, Storage >	Flat associative map with pluggable storage
Cflat_set< T, Storage, hash >	Flat set with pluggable storage
CGateData
CGateInformation	Per-gate metadata stored in the gates MMappedVector
CGraph	Mutable adjacency-list graph over unsigned-long node IDs
Cstd::hash< flat_map< K, V, Storage > >	std::hash specialisation for flat_map, enabling use as an unordered container key
Cstd::hash< flat_set< T, Storage, h > >	std::hash specialisation for flat_set, enabling use as an unordered container key
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
CWhereCircuit::Locator	Describes the origin of a single attribute value
CMMappedCircuit	Persistent mmap-backed representation of the provenance circuit
CMMappedUUIDHashTable	Persistent open-addressing hash table mapping UUIDs to integers
CMMappedVector< T >	Append-only, mmap-backed vector of elements of type T
CNewHashSlot
CNewTableHdr
CNewVecHdr
CPermutationStrategy::node_type	Entry in the priority queue
COldCircuit
COldHashSlot
COldMMapHash
COldMMapVec
COldTableHdr
COldVecHdr
CPermutationStrategy	Node-elimination ordering strategy using a 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
Csemiring::Semiring< V >	Abstract base class for (m-)semirings
Csemiring::Semiring< bool >
Csemiring::Boolean	The Boolean semiring over bool
Csemiring::Semiring< Datum >
Csemiring::IntervalUnion	Interval-union m-semiring with Datum carrier, parameterised by a multirange type OID
Csemiring::MinMax	Min-max / max-min m-semiring with Datum carrier over a PostgreSQL enum type
Csemiring::Semiring< double >
Csemiring::Lukasiewicz	The Łukasiewicz fuzzy m-semiring over double
Csemiring::Tropical	Tropical (min-plus) m-semiring over double
Csemiring::Viterbi	The Viterbi (max-times) m-semiring over double
Csemiring::Semiring< gate_t >
Csemiring::BoolExpr	Provenance-as-Boolean-circuit semiring
Csemiring::Semiring< how_provenance_t >
Csemiring::How	How-provenance m-semiring over \(\mathbb{N}[X]\)
Csemiring::Semiring< std::string >
Csemiring::Formula	Symbolic provenance representation over std::string
Csemiring::Semiring< unsigned >
Csemiring::Counting	The counting semiring over unsigned
Csemiring::Semiring< which_provenance_t >
Csemiring::Which	Which-provenance (lineage) semiring
Csemiring::Semiring< why_provenance_t >
Csemiring::Why	Why-provenance semiring
Ctable_info_cache_entry
CMMappedUUIDHashTable::table_t	On-disk layout of the hash table stored in the mmap file
CTreeDecomposition	Tree decomposition of a Boolean circuit's primal graph
Cprovsql::TruncatedSingleRv	Detection result for a closed-form, optionally-truncated single-RV shape
CUUIDEq
CUUIDHash
CMMappedUUIDHashTable::value_t	One slot in the hash table: a UUID key and its associated integer value