Here is a list of all namespace members with links to the namespace documentation for each member:

- a -

• aggAvgRawMomentExact() : provsql
• aggCollapsedRawMoment() : provsql
• aggCollapsedRawMoments() : provsql
• aggtype_elem_is_boolean() : provsql_having_detail
• aggtype_is_boolean() : provsql_having_detail
• aggtype_is_integer() : provsql_having_detail
• aggtype_is_numeric() : provsql_having_detail
• aggtype_is_text() : provsql_having_detail
• analytical_mean() : provsql
• analytical_raw_moment() : provsql
• analytical_variance() : provsql
• analyticalHistogram() : provsql

- b -

• binomial() : provsql
• binomial_coeff() : provsql
• booleanSubcircuitProbability() : provsql
• build_error() : kcmcp
• build_result() : kcmcp

- c -

• cdfAt() : provsql
• centralFromRaw() : provsql
• circuitHasObserve() : provsql
• circuitHasRV() : provsql
• circuitHasUnresolvedSampleableAgg() : provsql
• ClosedFormShape : provsql
• closePlusTerms() : provsql
• closeProductFactors() : provsql
• closeTransform() : provsql
• ClosureRule : provsql
• collapsedConditionalMoment() : provsql
• collect_sp_cmp_gates() : provsql_having_detail
• collectRvConstraints() : provsql
• comparatorPairLess() : provsql
• ComparatorRule : provsql
• compute_central_moment() : provsql
• compute_expectation() : provsql
• compute_quantile() : provsql
• compute_raw_moment() : provsql
• compute_support() : provsql
• computeCorrelation() : provsql
• computeCovariance() : provsql
• computeEntropy() : provsql
• computeKL() : provsql
• computeMutualInformation() : provsql
• computeRefCounts() : provsql
• conjugateLogEvidence() : provsql
• conjugatePosterior() : provsql
• contributorProb() : provsql

- d -

• DistributionFactory : provsql
• double_to_text() : provsql
• dtreeBounds() : provsql
• dtreeBoundsCircuit() : provsql

- e -

• ErrorCode : kcmcp
• evaluateBooleanProbability() : provsql
• eventIsProvablyInfeasible() : provsql
• expandCommandTemplate() : provsql
• extract_constant_string() : provsql_having_detail
• extract_finite_double() : provsql
• extract_mulinput_value() : provsql

- f -

• Feature : provsql
• Flag : kcmcp
• FLAG_COMPRESSED : kcmcp
• FLAG_MORE : kcmcp
• flip_op() : provsql_having_detail
• foldDegenerateMixtures() : provsql

- g -

• gammaP() : provsql

- h -

• how_label_t : semiring
• how_monomial_t : semiring
• how_provenance_t : semiring

- i -

• importanceEvidence() : provsql
• importanceSampleConditional() : provsql
• input_format_name() : kcmcp
• InputFormat : kcmcp
• inv_phi() : provsql

- k -

• kcmcp_compile() : provsql
• kCostCompilation : provsql
• kCostCompilationFloor : provsql
• kCostDnfShapeFeature : provsql
• kCostDTreeApprox : provsql
• kCostDTreeExact : provsql
• kCostDTreeMsPerStepDnf : provsql
• kCostDTreeMsPerStepGeneral : provsql
• kCostIndependent : provsql
• kCostInversionFree : provsql
• kCostKarpLuby : provsql
• kCostMonteCarlo : provsql
• kCostPossibleWorlds : provsql
• kCostSieve : provsql
• kCostStoppingRule : provsql
• kCostTreeDecomp : provsql
• kCostTwProxyFeature : provsql
• kInf : provsql
• kNaN : provsql
• kPossibleWorldsSanityMax : provsql
• kSieveSanityMaxClauses : provsql
• kSimpsonPanels : provsql

- l -

• label_set : semiring
• label_t : semiring
• lbeta() : provsql
• lift_conditioning() : provsql
• listDistributionFamilies() : provsql
• lookupConjugateRule() : provsql
• lookupDistributionFamily() : provsql

- m -

• makeDDAuto() : provsql
• makeDistribution() : provsql
• map_cmp_op() : provsql_having_detail
• matchAggCmp() : provsql
• matchClosedFormDistribution() : provsql
• matchTruncatedSingleRv() : provsql
• monteCarloConditionalScalarPairSamples() : provsql
• monteCarloConditionalScalarSamples() : provsql
• monteCarloJointDistribution() : provsql
• monteCarloRV() : provsql
• monteCarloRVStopping() : provsql
• monteCarloScalarPairSamples() : provsql
• monteCarloScalarSamples() : provsql

- n -

• numericQuantile() : provsql

- o -

• Operation : kcmcp
• operation_name() : kcmcp
• output_format_name() : kcmcp
• OutputFormat : kcmcp

- p -

• parse_array_literal() : provsql_having_detail
• parse_decimal_scaled() : provsql_having_detail
• parse_distribution_spec() : provsql
• parse_distribution_template() : provsql
• parse_request() : kcmcp
• parseDoubleStrict() : provsql
• pdfAt() : provsql
• Phi() : provsql
• phi() : provsql
• posteriorResample() : provsql
• pow2_clamped() : provsql
• ProductRule : provsql

- r -

• registerClosureRule() : provsql
• registerComparatorRule() : provsql
• registerConjugateRule() : provsql
• registerDistributionFamily() : provsql
• registerProductRule() : provsql
• registerTransformRule() : provsql
• rescale_to() : provsql_having_detail
• resolveComparators() : provsql
• runAggMarginalEvaluator() : provsql
• runAnalyticEvaluator() : provsql
• runConstantFold() : provsql
• runCountCmpEvaluator() : provsql
• runHavingAlwaysTrueRewriter() : provsql
• runHybridDecomposer() : provsql
• runHybridSimplifier() : provsql
• runMinMaxCmpEvaluator() : provsql
• runRangeCheck() : provsql
• runSumCmpEvaluator() : provsql

- s -

• seedRng() : provsql
• semimod_extract_string_and_K() : provsql_having_detail
• shape_mass() : provsql
• side_has_agg() : provsql_having_detail
• simpsonIntegrate() : provsql

- t -

• toleranceAdmits() : provsql
• ToleranceKind : provsql
• tool_registry() : provsql
• TransformRule : provsql
• truncateShape() : provsql
• try_truncated_closed_form_sample() : provsql
• Type : kcmcp

- w -

• which_provenance_t : semiring
• why_provenance_t : semiring