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