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
Cprovsql::AggCmpMatch	Result of matching a gate_cmp against the canonical HAVING aggregate-comparison shape
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
CAvgAgg< T >	Aggregator implementing AVG; always returns a float result
CStandardAgg< T >	Base aggregator template for scalar types (int, float, bool, string)
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
CReachabilityCompiler::AllHopsResult	A bounded-hop all-targets compilation
CReachabilityCompiler::AllResult	An all-targets compilation: one shared d-D, one root per reachable vertex
Cancestry_cache_entry
CUCQJointCompiler::AnswerCircuit
CUCQJointCompiler::AnswerRoot	Per-answer evaluation by a single top-down DP (data-graph regime)
CReachabilityCompiler::AnyReachAllResult	A multi-set any-reach compilation: one shared circuit, one root per target set
CAtom	One atom of a conjunctive query: a relation symbol applied to query variables
Cprovsql::BernoulliMixtureShape	Bernoulli mixture (gate_mixture with the [p_token, x_token, y_token] shape)
Cstd::bool_constant
CFalse<... >
CStructuredDNNFBuilder::CacheKey
CStructuredDNNFBuilder::CacheKeyHash
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
CBooleanCircuit::CNFInputMapping	One row of the Tseytin variable mapping
CColRef	A column reference (range-table index, attribute number)
Cprovsql::ConditionalScalarSamples	Outcome of a conditional Monte Carlo sampling pass
CConn
Ckcmcp::Connection	Framed message transport over one connected socket fd
Cconstants_t	Structure to store the value of various constants
Ccontains_agg_ctx	Context for contains_agg_walker
CCQ	One conjunctive query (a disjunct of the UCQ)
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)
Cprovsql::DTreeInterval	A certified probability interval lower <= Pr <= upper
CReachabilityCompiler::EdgeRow	One row of the edge relation
Cprovsql::EvalContext	Per-evaluation circuit state threaded to a method's evaluate()
CEvent	One independent Bernoulli world variable
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
CExistCtx	Walker context: does any target-list Var reach a tracked atom?
CFact	A deduplicated fact participating in the DP
CFactRow	One row of an atom's relation, as handed in by the SQL layer
Cflat_map< Key, Value, Storage >	Flat associative map with pluggable storage
Cflat_set< T, Storage, hash >	Flat set with pluggable storage
CFlatAtomOrigin	Where a flattened base atom came from, for mapping markers back
Cflatten_ctx	Context for flatten_mut (a multi-relation conjunctive inliner)
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
Chaving_distinct_ctx	Collector for AGG(DISTINCT) Aggrefs inside a HAVING clause
Chaving_replace_ctx	Context for replace_having_distinct_mutator: next outer RT index
Cinert_walk_ctx	Process the inert provenance() fetches in one query's own clauses
CStructuredDNNFBuilder::InputKey	Structured per-input order key carried by the planner's markers
Cinsert_agg_token_casts_context	Context for the insert_agg_token_casts_mutator
CInvFreeMarker	Per-atom marker spec for the inversion-free path
CInvFreeMarkerCtx	Per-query marker context for the inversion-free path, threaded through the recursive query rewrite to reach base inputs nested in subqueries
Cjoin_qual_agg_token_ctx	Context for join_qual_has_agg_token_walker
CJointEncoding	The joint encoding of an instance: facts, world events, and the joint graph the screen and the DP run over
Ckey_cache_entry
CWhereCircuit::Locator	Describes the origin of a single attribute value
CLoweredCte	Memo entry mapping a recursive-CTE name to its lowered scan subquery
CMappedRegion
Ckcmcp::Message	A fully reassembled inbound message (MORE frames concatenated)
Cprovsql::MethodCatalog	Registry of ProbabilityMethod objects
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
Coj_cols	Per-relation user-column descriptor for the outer-join lowering
Coj_decorr_ctx	Mutator: lift a scalar subquery's body into the outer query level
Coj_joinref_ctx	Walker context: detect a Var referencing the join RTE index
Coj_outer_ctx	Outer Var remap context for the LEFT-join lowering: base-relation Vars (R_idx / S_idx) are retargeted to the new subquery (new_idx) with their attribute number mapped to the subquery column position
Coj_param_repl_ctx	Context for oj_param_repl_mut
Coj_renum_ctx	Var-renumber context: map varno from[i] → to[i]
Coj_sl_replace_ctx	Mutator: replace the specific SubLink node target (by pointer) with replacement
Coj_sublink_scan	Walker: count SubLink nodes (capturing the first), and capture a Var referencing varno target_varno (level 0) – used to find a Q column for the count() key
Coj_wrap_ctx	Var-remap context for the FROM-wrapping pre-step: a Var at target_level on relation varno / attribute varattno is retargeted to newidx column pos[varno][varattno]
COldCircuit
COldHashSlot
COldMMapHash
COldMMapVec
COldTableHdr
COldVecHdr
CPermutationStrategy	Node-elimination ordering strategy using a priority queue
Cpg_uuid_t	UUID structure
Cprovsql::ProbabilityMethod	Strategy interface: one concrete subclass per probability method
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
Cqc_varnos_ctx	Walker context for qc_collect_varnos_walker
Cqc_vars_ctx	Walker context for qc_collect_vars_walker
Crandom_variable	Binary internal layout of random_variable
CReachabilityCompiler	Compiles s-t reachability over a probabilistic edge relation into a d-D, along a tree decomposition of the data graph
Creduce_varattno_mutator_context	Context for the reduce_varattno_mutator tree walker
CRelMerge	A merge of relations across the disjuncts of a UCQ: distinct relation OIDs (first-seen order) with their element column-name lists
Ckcmcp::Request	Decoded REQUEST payload
CRes
CReachabilityCompiler::Result	A compiled reachability query: the d-D and its statistics
CUCQJointCompiler::Result	A compiled UCQ: the d-D and its statistics
Cretype_agg_var_ctx	Context for retype_agg_var_walker
Cstd::runtime_error
CJointCompilerException	Exception thrown when joint-width compilation cannot proceed
CReachabilityCompilerException	Exception thrown when reachability compilation fails
Ckcmcp::ProtocolError	Thrown by Connection on a protocol violation that warrants an ERROR frame (e.g
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
CSafeCert	Query-derived order recipe for the structured-d-DNNF builder
CSafeCertKey
Cprovsql::ScopedTempDir	RAII guard around a freshly mkdtemp'd /tmp directory
CScopedTempDir	RAII guard around a freshly mkdtemp'd /tmp directory
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::TropicalNonneg	Tropical (min-plus) m-semiring restricted to nonnegative costs
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
CSliceGate	One node of the extracted circuit slice (correlated regime)
CReachabilityCompiler::SourceArc	One source of a multi-source compilation
CdDNNF::Stats	Structural statistics of a compiled d-DNNF
CReachabilityCompiler::Stats	Structural statistics of a compilation, for diagnostics and tests
CUCQJointCompiler::Stats	Structural statistics of a compilation, for diagnostics and tests
CStructuredDNNFBuilder	Top-down structured-d-DNNF builder over a query-derived variable order
Csublink_classify_ctx	Context for sublink_classify_walker
Csublink_tracked_ctx	Context for sublink_over_tracked_walker
Ctable_info_cache_entry
CMMappedUUIDHashTable::table_t	On-disk layout of the hash table stored in the mmap file
Cprovsql::Tolerance
Cprovsql::ToolRecord	One registered external tool
Cprovsql::ToolRegistry	The process-local registry singleton
CTreeDecomposition	Tree decomposition of a Boolean circuit's primal graph
Cprovsql::TruncatedSingleRv	Detection result for a closed-form, optionally-truncated single-RV shape
CUCQ	A union of conjunctive queries
CUCQJointCompiler	Compiles a Boolean UCQ over a joint encoding into a certified d-D, along a tree decomposition of the joint graph
CUUIDEq
CUUIDHash
CMMappedUUIDHashTable::value_t	One slot in the hash table: a UUID key and its associated integer value
CReachabilityCompiler::VertexHopRoot	One (vertex, walk length) circuit of a bounded-hop compilation
CReachabilityCompiler::VertexRoot	One vertex's reachability circuit in an all-targets compilation