CountCmpEvaluator.cpp File Reference

Implementation of the Poisson-binomial pre-pass. More...

#include "CountCmpEvaluator.h"
#include <algorithm>
#include <unordered_set>
#include <vector>
#include "Aggregation.h"
#include "having_semantics.hpp"
#include "provsql_utils.h"

Include dependency graph for CountCmpEvaluator.cpp:

Go to the source code of this file.

Namespaces
namespace	provsql

Functions
unsigned	provsql::runCountCmpEvaluator (GenericCircuit &gc)
	Run the Poisson-binomial pre-pass over gc.

Detailed Description

Implementation of the Poisson-binomial pre-pass.

See CountCmpEvaluator.h for the full docstring.

Definition in file CountCmpEvaluator.cpp.