Class List

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

[detail level 12]

Nkcmcp
CProtocolError	Thrown by Connection on a protocol violation that warrants an ERROR frame (e.g
CMessage	A fully reassembled inbound message (MORE frames concatenated)
CRequest	Decoded REQUEST payload
CConnection	Framed message transport over one connected socket fd
Nprovsql
CAggCmpMatch	Result of matching a gate_cmp against the canonical HAVING aggregate-comparison shape
CDTreeInterval	A certified probability interval lower <= Pr <= upper
CConditionalScalarSamples	Outcome of a conditional Monte Carlo sampling pass
CEvalContext	Per-evaluation circuit state threaded to a method's evaluate()
CTolerance
CProbabilityMethod	Strategy interface: one concrete subclass per probability method
CMethodCatalog	Registry of ProbabilityMethod objects
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)
CScopedTempDir	RAII guard around a freshly mkdtemp'd /tmp directory
CToolRecord	One registered external tool
CToolRegistry	The process-local registry singleton
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
CTropicalNonneg	Tropical (min-plus) m-semiring restricted to nonnegative costs
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
CAtom	One atom of a conjunctive query: a relation symbol applied to query variables
CAvgAgg	Aggregator implementing AVG; always returns a float result
CBooleanCircuit	Boolean circuit for provenance formula evaluation
CCNFInputMapping	One row of the Tseytin variable mapping
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
CColRef	A column reference (range-table index, attribute number)
CConn
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)
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
CStats	Structural statistics of a compiled d-DNNF
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
CEvent	One independent Bernoulli world variable
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
CFalse
Cflat_map	Flat associative map with pluggable storage
Cflat_set	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
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
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
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
CJointCompilerException	Exception thrown when joint-width compilation cannot proceed
CJointEncoding	The joint encoding of an instance: facts, world events, and the joint graph the screen and the DP run over
Ckey_cache_entry
CLoweredCte	Memo entry mapping a recursive-CTE name to its lowered scan subquery
CMappedRegion
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
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
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
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
CEdgeRow	One row of the edge relation
CStats	Structural statistics of a compilation, for diagnostics and tests
CResult	A compiled reachability query: the d-D and its statistics
CVertexRoot	One vertex's reachability circuit in an all-targets compilation
CAllResult	An all-targets compilation: one shared d-D, one root per reachable vertex
CVertexHopRoot	One (vertex, walk length) circuit of a bounded-hop compilation
CAllHopsResult	A bounded-hop all-targets compilation
CAnyReachAllResult	A multi-set any-reach compilation: one shared circuit, one root per target set
CSourceArc	One source of a multi-source compilation
CReachabilityCompilerException	Exception thrown when reachability compilation fails
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
CRes
Cretype_agg_var_ctx	Context for retype_agg_var_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
CSafeCert	Query-derived order recipe for the structured-d-DNNF builder
CSafeCertKey
CScopedTempDir	RAII guard around a freshly mkdtemp'd /tmp directory
CSliceGate	One node of the extracted circuit slice (correlated regime)
CStandardAgg	Base aggregator template for scalar types (int, float, bool, string)
CStructuredDNNFBuilder	Top-down structured-d-DNNF builder over a query-derived variable order
CInputKey	Structured per-input order key carried by the planner's markers
CCacheKey
CCacheKeyHash
Csublink_classify_ctx	Context for sublink_classify_walker
Csublink_tracked_ctx	Context for sublink_over_tracked_walker
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
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
CStats	Structural statistics of a compilation, for diagnostics and tests
CResult	A compiled UCQ: the d-D and its statistics
CAnswerRoot	Per-answer evaluation by a single top-down DP (data-graph regime)
CAnswerCircuit
CUUIDEq
CUUIDHash
CWhereCircuit	Circuit encoding where-provenance (column-level data origin)
CLocator	Describes the origin of a single attribute value