MinMaxCmpEvaluator.cpp File Reference

Implementation of the MIN / MAX closed-form pre-pass. More...

#include "MinMaxCmpEvaluator.h"
#include <vector>
#include "Aggregation.h"
#include "CmpEvaluatorCommon.h"

Include dependency graph for MinMaxCmpEvaluator.cpp:

Go to the source code of this file.

Namespaces
namespace	provsql

Functions
unsigned	provsql::runMinMaxCmpEvaluator (GenericCircuit &gc)
	Run the MIN / MAX closed-form pre-pass over gc.

Detailed Description

Implementation of the MIN / MAX closed-form pre-pass.

See MinMaxCmpEvaluator.h for the closed forms and the soundness contract.

Definition in file MinMaxCmpEvaluator.cpp.