RandomVariable.cpp File Reference

Implementation of distribution parsing/formatting/moments. More...

#include "RandomVariable.h"
#include <cctype>
#include <cmath>
#include <cstddef>
#include <exception>
#include <string>
#include "Circuit.h"

Include dependency graph for RandomVariable.cpp:

Go to the source code of this file.

Namespaces
namespace	provsql

Functions
double	provsql::parseDoubleStrict (const std::string &s)
	Strictly parse s as a double.
std::optional< DistributionSpec >	provsql::parse_distribution_spec (const std::string &s)
	Parse the on-disk text encoding of a gate_rv distribution.
std::string	provsql::format_distribution_spec (const DistributionSpec &d)
	Format a spec back into its on-disk text encoding.
double	provsql::analytical_mean (const DistributionSpec &d)
	Closed-form expectation E[X] for a basic distribution.
double	provsql::analytical_variance (const DistributionSpec &d)
	Closed-form variance Var(X) for a basic distribution.
double	provsql::analytical_raw_moment (const DistributionSpec &d, unsigned k)
	Closed-form raw moment \(E[X^k]\) for a basic distribution.

Detailed Description

Implementation of distribution parsing/formatting/moments.

Definition in file RandomVariable.cpp.