ComparatorResolution.cpp File Reference

Definition of resolveComparators (the shared comparator- resolution pipeline). More...

#include "ComparatorResolution.h"
#include "AggMarginalEvaluator.h"
#include "AnalyticEvaluator.h"
#include "CountCmpEvaluator.h"
#include "HybridEvaluator.h"
#include "MinMaxCmpEvaluator.h"
#include "RangeCheck.h"
#include "SumCmpEvaluator.h"
#include <set>
#include <stack>
#include <string>
#include <vector>
#include "provsql_utils.h"
#include "provsql_error.h"

Include dependency graph for ComparatorResolution.cpp:

Go to the source code of this file.

Namespaces
namespace	provsql

Functions
void	provsql::resolveComparators (GenericCircuit &gc, gate_t root, bool simplify, bool decompose)
	Run the comparator-resolution pipeline on gc, rewriting every gate_cmp (RV comparison, HAVING aggregate comparison) into Boolean structure so the downstream getBooleanCircuit / BoolExpr translation never meets a raw comparator.

Detailed Description

Definition of resolveComparators (the shared comparator- resolution pipeline).

booleanSubcircuitProbability is defined in probability_evaluate.cpp, where the method-dispatch machinery (EvalContext / MethodCatalog) lives.

Definition in file ComparatorResolution.cpp.