SumCmpEvaluator.cpp File Reference

Implementation of the weighted-sum DP pre-pass. More...

#include "SumCmpEvaluator.h"
#include <cstdint>
#include <vector>
#include "Aggregation.h"
#include "CmpEvaluatorCommon.h"

Include dependency graph for SumCmpEvaluator.cpp:

Go to the source code of this file.

Namespaces
namespace	provsql

Functions
unsigned	provsql::runSumCmpEvaluator (GenericCircuit &gc)
	Run the weighted-sum DP pre-pass over gc.

Detailed Description

Implementation of the weighted-sum DP pre-pass.

See SumCmpEvaluator.h for the DP, the soundness contract, and the pseudo-polynomial caveat.

Definition in file SumCmpEvaluator.cpp.