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
CDistSupport	A closed support interval [lo, hi] (±infinity for unbounded)
CDistribution	Abstract per-family continuous distribution
CDistributionFamily	A registered family's descriptor: its complete identity
CDistributionFamilyRegistrar	Static-initialisation helper: one per family implementation
CComparatorRuleRegistrar	Static-initialisation helper: one per registered family pair
CClosureTerm	One wire of a PLUS under closure: a·Z + b for a base RV Z (dist non-null), or a pure additive constant b (dist null, a == 0)
CClosureRuleRegistrar	Static-initialisation helper: one per registered family pair
CProductRuleRegistrar	Static-initialisation helper: one per registered family pair
CTransformRuleRegistrar	Static-initialisation helper: one per registered transform
CConjugateRule	The conjugate update for one observation of a given likelihood family against the running posterior (= prior) family
CConjugateRuleRegistrar	Static-initialisation helper: one per registered pair
CBaseDistribution	Base holding the two parameters; subclasses add closed forms
CDTreeInterval	A certified probability interval lower <= Pr <= upper
CConditionalScalarSamples	Outcome of a conditional Monte Carlo sampling pass
CConditionalScalarPairSamples	Outcome of a conditional coupled-pair Monte Carlo pass: xs[i] / ys[i] are the two roots' values from the same accepted iteration
CWeightedPosterior	Outcome of a likelihood-weighting (importance-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 (family + up to two parameters)
CDistributionParam	One parameter slot of a gate_rv, either a literal or a wire
CDistributionTemplate	A gate_rv distribution spec that may carry wired (token) parameters – the parse-time counterpart of DistributionSpec
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
CSemiringGateException	A gate kind this semiring does not interpret (a comparison, a semimodule multiplication, an aggregation, a value)
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_cmp_subst_ctx	Replace every copy of ctx->found by the truth column's Var
Cagg_cmp_truth_ctx	Context of the search for a comparison to explode
Cagg_null_key_ctx	Context for sort_key_reads_agg_null_walker
Cagg_null_test_ctx	State of agg_token_null_test_walker: the sort keys to pass over
Cagg_nulltest_ctx	Context for push_agg_nulltest_walker
Cagg_token	Aggregate token bundling a provenance UUID with a running value
Cagg_value_read_ctx	Context for reads_agg_value_walker
Caggref_over_agg_token_ctx	Context for aggref_over_agg_token_walker
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
Cbool_exists_ctx	Context of bool_exists_mutator
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
Ccount_cte_refs_ctx	Context for count_cte_refs_walker
CCQ	One conjunctive query (a disjunct of the UCQ)
CCteRefCtx
Ccume_dist_ctx	Compute the aggregation of q in a subquery, and its windows over that subquery's columns
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
Cdeviation_ctx	Context for deviation_mutator
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?
Cexplode_col	One column of a subquery to explode: where it is, and the type the values of its aggregate take
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)
Cfreeze_rels_ctx	Context for freeze_relations_walker
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
Cgrouping_set_ctx	Context for grouping_set_mutator
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
Cholds_node_ctx	Report an implicit freezing: a part of the statement evaluated as plain SQL on the data as it is, not tracked
Cinert_walk_ctx	Process the inert provenance() fetches in one query's own clauses
Cinline_ctes_sublink_ctx	Inline CTE references in q as subqueries where the rewrite needs them, preserving CTEs whose bodies need no rewriting
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_alias_ctx	Rewrite a single SELECT query to carry provenance
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
CCheck	What provsql.check_store() reports about a store
CCounts	The size of a store, in the three units that matter
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
Cmoved_vars_ctx	Context for moved_vars_mutator
Cna_pair_ctx	Where the relations of the source query land in the pair block: the ones of its own FROM keep their index, and the body's relation goes after them
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_reads_ctx	Context for oj_reads_rtindexes_walker
Coj_renum_ctx	Var-renumber context: map varno from[i] → to[i]
Coj_replace_sublink_ctx	Context for oj_replace_sublink_mut
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_syscol_ctx	Lower an outer JOIN of two tracked arms into the UNION-ALL of its matched and null-padded antijoin arms
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
Couter_refs_ctx	Walker context for outer_refs_are_keys_walker
CPermutationStrategy	Node-elimination ordering strategy using a priority queue
Cnode_type	Entry in the priority queue
Cpg_uuid_t
CPlantedEntry
CPlantedScope	A working table with planted gates
Cprob_write	One recorded probability write, awaiting commit or rollback
Cprov_read_ctx	Context of reads_provsql_walker: the level whose range table resolves the Vars being looked at
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
Cprovsql_cleanup_result	What provsql.circuit_cleanup() reports
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
Cpull_aggregates_ctx	Context for pull_aggregates_mutator
Cpull_up_vars_ctx	Context for pull_up_vars_mutator
Cpull_up_vars_deep_ctx	Context for pull_up_vars_deep_mutator
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
Crank_window_ctx	Context for replace_rank_window_mutator
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
Creads_outside_ctx	Context for reads_outside_walker
Creduce_varattno_context	Context for the reduce_varattno_walker 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
Crenumber_rte_ctx	Context for the rtindex-renumbering mutator of normalize_inner_joins
CRes
Cretype_agg_var_ctx	Context for retype_agg_var_walker
Cretype_union_var_ctx	Context for retype_union_var_mutator
Croot_set	Growable array of root tokens gathered from the database
Crowstar_ctx	Context for rowstar_mutator
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
Cscalar_distinct_ctx	Context for scalar_distinct_mutator
CScopedTempDir	RAII guard around a freshly mkdtemp'd /tmp directory
CSliceGate	One node of the extracted circuit slice (correlated regime)
Csrc_var_type_ctx	Walker context for collect_source_var_types
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
Csubagg_read_ctx	Whether q reads the value of an aggregate of one of its subqueries as data: a GROUP BY key, or a DISTINCT column
Csublink_classify_ctx	Context for sublink_classify_walker
Csublink_reason	A refusal cause: a stable tag for tooling, a sentence for a reader
Csublink_tracked_ctx	Context for sublink_over_tracked_walker
CSumAgg	Aggregator implementing SUM for integer or float types
Ctable_info_cache_entry
Ctl_exists_ctx	Context of tl_exists_mutator
Ctl_sublink_ctx	Context for targetlist_sublink_mutator
Ctracked_sublink_count_ctx	Context of tracked_sublink_count_walker
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
Cuncertain_value_ctx	Context for uncertain_value_walker
Cuncorr_qual_ctx	Context of uncorr_qual_sublink_mutator
CUUIDEq
CUUIDHash
CVarcharCast
CWhereCircuit	Circuit encoding where-provenance (column-level data origin)
CLocator	Describes the origin of a single attribute value
Cwholerow_ctx	Context for wholerow_mutator
Cwindow_aggregation_context	Context for window_aggregation_mutator
Cwindow_kinds_ctx	Context for window_kinds_walker