Here is a list of all namespace functions with links to the namespace documentation for each function:

- a -

• analytical_mean() : provsql
• analytical_raw_moment() : provsql
• analytical_variance() : provsql

- c -

• cdfAt() : provsql
• circuitHasRV() : provsql
• collect_sp_cmp_gates() : provsql_having_detail
• collectRvConstraints() : provsql
• compute_central_moment() : provsql
• compute_expectation() : provsql
• compute_raw_moment() : provsql
• compute_support() : provsql
• compute_variance() : provsql

- e -

• evaluateBooleanProbability() : provsql
• eventIsProvablyInfeasible() : provsql
• extract_constant_C() : provsql_having_detail
• extract_constant_double() : provsql_having_detail
• extract_finite_double() : provsql
• extract_mulinput_value() : provsql

- f -

• flip_op() : provsql_having_detail
• format_distribution_spec() : provsql

- m -

• map_cmp_op() : provsql_having_detail
• matchClosedFormDistribution() : provsql
• matchTruncatedSingleRv() : provsql
• monteCarloConditionalScalarSamples() : provsql
• monteCarloJointDistribution() : provsql
• monteCarloRV() : provsql
• monteCarloScalarSamples() : provsql

- p -

• parse_distribution_spec() : provsql
• parseDoubleStrict() : provsql
• pdfAt() : provsql

- r -

• runAnalyticEvaluator() : provsql
• runConstantFold() : provsql
• runCountCmpEvaluator() : provsql
• runHybridDecomposer() : provsql
• runHybridSimplifier() : provsql
• runRangeCheck() : provsql

- s -

• semimod_extract_M_and_K() : provsql_having_detail
• shape_mass() : provsql

- t -

• truncateShape() : provsql
• try_truncated_closed_form_sample() : provsql