smtrat-analyzer.cpp File Reference

#include "smtrat-analyzer.h"
#include "analyzers/cad_projections.h"
#include "analyzers/formula_types.h"
#include "analyzers/variables.h"
#include "analyzers/cnf.h"

Include dependency graph for smtrat-analyzer.cpp:

Go to the source code of this file.

Namespaces
	smtrat
	Class to create the formulas for axioms.

Functions
analyzer::AnalyzerStatistics &	smtrat::analyze_formula (const FormulaT &f)