SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
cad_projections.h
Go to the documentation of this file.
1 #pragma once
2 
3 #include "../statistics.h"
4 
5 #include <smtrat-common/smtrat-common.h>
6 
7 namespace smtrat::analyzer {
8 
9 void analyze_cad_projections(const FormulaT& f, AnalyzerStatistics& stats);
10 
11 }
smtrat::analyzer::analyze_cad_projections
void analyze_cad_projections(const FormulaT &f, AnalyzerStatistics &stats)
Definition: cad_projections.cpp:87
smtrat::FormulaT
carl::Formula< Poly > FormulaT
Definition: types.h:37