AnalyticEvaluator.cpp File Reference

Implementation of the closed-form CDF resolution pass. More...

#include "AnalyticEvaluator.h"
#include <cmath>
#include <limits>
#include <optional>
#include <vector>
#include "Aggregation.h"
#include "RandomVariable.h"
#include "provsql_utils.h"

Include dependency graph for AnalyticEvaluator.cpp:

Go to the source code of this file.

Namespaces
namespace	provsql

Functions
double	provsql::pdfAt (const DistributionSpec &d, double c)
	Closed-form probability density \(f(c)\) for a basic distribution.
double	provsql::cdfAt (const DistributionSpec &d, double c)
	Closed-form CDF \(F_X(c) = P(X \le c)\) for a basic continuous distribution.
unsigned	provsql::runAnalyticEvaluator (GenericCircuit &gc)
	Run the closed-form CDF resolution pass over gc.

Detailed Description

Implementation of the closed-form CDF resolution pass.

See AnalyticEvaluator.h for the full docstring.

Definition in file AnalyticEvaluator.cpp.