![]() |
ProvSQL C/C++ API
Adding support for provenance and uncertainty management to PostgreSQL databases
|

Files | |
| beta.cpp | |
Beta(α, β) family implementation on the unit interval: shapes α, β > 0. | |
| binomial.cpp | |
| Binomial(n, p) family implementation (discrete). | |
| Distribution.cpp | |
The family-agnostic side of the Distribution hierarchy: the registries (family descriptors / factories, pairwise comparator and closure rules), their dispatch drivers, and the generic comparator quadrature fallback. | |
| Distribution.h | |
Per-family polymorphic view over a continuous gate_rv distribution (§F.1 class hierarchy). | |
| DistributionCommon.h | |
Internal helpers shared by the per-family Distribution implementations under src/distributions/. | |
| erlang.cpp | |
| Erlang(k, λ) family implementation (integer shape). | |
| exponential.cpp | |
| Exponential(λ) family implementation. | |
| gamma.cpp | |
| Gamma(k, λ) family implementation (shape k any positive real, rate λ). | |
| geometric.cpp | |
| Geometric(p) family implementation (discrete). | |
| inverse_gamma.cpp | |
InvGamma(α, β) family implementation: shape α > 0, scale β > 0. | |
| inverse_gaussian.cpp | |
InverseGaussian(μ, λ) / Wald family implementation: mean μ > 0, shape λ > 0. | |
| logistic.cpp | |
| Logistic(μ, s) family implementation. | |
| lognormal.cpp | |
LogNormal(μ, σ) family implementation: exp of a Normal(μ, σ), parameterised by the underlying normal. | |
| negative_binomial.cpp | |
| NegativeBinomial(r, p) family implementation (discrete). | |
| normal.cpp | |
| Normal(μ, σ) family implementation. | |
| pareto.cpp | |
Pareto(xₘ, α) family implementation: scale (minimum) xₘ > 0, shape α > 0. | |
| poisson.cpp | |
| Poisson(λ) family implementation (discrete). | |
| uniform.cpp | |
| Uniform on [a, b] family implementation. | |
| weibull.cpp | |
Weibull(k, λ) family implementation: shape k > 0, scale λ > 0 (the 63.2% quantile – NOT a rate; k = 1 is Exponential with rate 1/λ, and the SQL constructor routes that case through exponential). | |