AggMarginalEvaluator.cpp File Reference

Implementation of the safe-join aggregate marginal-vector pre-pass (COUNT / SUM / MIN / MAX). More...

#include "AggMarginalEvaluator.h"
#include <algorithm>
#include <climits>
#include <cstdint>
#include <map>
#include <numeric>
#include <set>
#include <vector>
#include "Aggregation.h"
#include "CmpEvaluatorCommon.h"
#include "provsql_utils.h"

Include dependency graph for AggMarginalEvaluator.cpp:

Go to the source code of this file.

Namespaces
namespace	provsql

Functions
unsigned	provsql::runAggMarginalEvaluator (GenericCircuit &gc)
	Run the safe-join aggregate marginal-vector pre-pass over gc.

Detailed Description

Implementation of the safe-join aggregate marginal-vector pre-pass (COUNT / SUM / MIN / MAX).

See AggMarginalEvaluator.h for the full docstring and the soundness argument.

Definition in file AggMarginalEvaluator.cpp.