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

- a -

• 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 -

• build_error() : kcmcp
• build_result() : kcmcp

- c -

• cdfAt() : provsql
• circuitHasRV() : provsql
• circuitHasUnresolvedSampleableAgg() : provsql
• ClosedFormShape : provsql
• collect_sp_cmp_gates() : provsql_having_detail
• collectRvConstraints() : provsql
• compute_central_moment() : provsql
• compute_expectation() : provsql
• compute_raw_moment() : provsql
• compute_support() : provsql
• computeRefCounts() : provsql
• contributorProb() : provsql

- d -

• DistKind : 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

- h -

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

- i -

• input_format_name() : kcmcp
• InputFormat : kcmcp

- 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
• kPossibleWorldsSanityMax : provsql
• kSieveSanityMaxClauses : provsql

- l -

• label_set : semiring
• label_t : semiring
• lift_conditioning() : provsql

- m -

• makeDDAuto() : provsql
• map_cmp_op() : provsql_having_detail
• matchAggCmp() : provsql
• matchClosedFormDistribution() : provsql
• matchTruncatedSingleRv() : provsql
• monteCarloConditionalScalarSamples() : provsql
• monteCarloJointDistribution() : provsql
• monteCarloRV() : provsql
• monteCarloRVStopping() : provsql
• monteCarloScalarSamples() : 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_request() : kcmcp
• parseDoubleStrict() : provsql
• pdfAt() : provsql
• pow2_clamped() : provsql

- r -

• rescale_to() : provsql_having_detail
• runAggMarginalEvaluator() : provsql
• runAnalyticEvaluator() : provsql
• runConstantFold() : provsql
• runCountCmpEvaluator() : provsql
• runHavingAlwaysTrueRewriter() : provsql
• runHybridDecomposer() : provsql
• runHybridSimplifier() : provsql
• runMinMaxCmpEvaluator() : provsql
• runRangeCheck() : provsql
• runSumCmpEvaluator() : provsql

- s -

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

- t -

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

- w -

• which_provenance_t : semiring
• why_provenance_t : semiring