cad_projections.cpp File Reference

#include "variables.h"
#include "utils.h"
#include "../settings.h"
#include <smtrat-cad/common.h>
#include <smtrat-cad/Settings.h>
#include <smtrat-cad/projection/Projection.h>
#include <smtrat-cad/projectionoperator/utils.h>
#include <smtrat-cad/utils/CADConstraints.h>
#include <smtrat-cad/variableordering/triangular_ordering.h>

Include dependency graph for cad_projections.cpp:

Go to the source code of this file.

Data Structures
struct	smtrat::analyzer::Projector< Settings >
struct	smtrat::analyzer::SettingsCollins
struct	smtrat::analyzer::SettingsHong
struct	smtrat::analyzer::SettingsMcCallum
struct	smtrat::analyzer::SettingsMcCallumPartial
struct	smtrat::analyzer::SettingsLazard
struct	smtrat::analyzer::SettingsBrown

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::analyzer

Functions
template<typename P >
void	smtrat::analyzer::collect_projection_size (const std::string &prefix, const P &projection, AnalyzerStatistics &stats)
template<typename Settings >
void	smtrat::analyzer::perform_projection (const std::string &prefix, const std::set< ConstraintT > &constraints, AnalyzerStatistics &stats)
void	smtrat::analyzer::analyze_cad_projections (const FormulaT &f, AnalyzerStatistics &stats)