smtrat::analyzer Namespace Reference

Data Structures
struct	Projector
struct	SettingsCollins
struct	SettingsHong
struct	SettingsMcCallum
struct	SettingsMcCallumPartial
struct	SettingsLazard
struct	SettingsBrown
struct	DegreeCollector
struct	AnalysisSettings
struct	AnalyzerStatistics

Functions
template<typename P >
void	collect_projection_size (const std::string &prefix, const P &projection, AnalyzerStatistics &stats)
template<typename Settings >
void	perform_projection (const std::string &prefix, const std::set< ConstraintT > &constraints, AnalyzerStatistics &stats)
void	analyze_cad_projections (const FormulaT &f, AnalyzerStatistics &stats)
void	analyze_cnf (const FormulaT &f, AnalyzerStatistics &stats)
void	analyze_formula_types (const FormulaT &f, AnalyzerStatistics &stats)
void	analyze_variables (const FormulaT &f, AnalyzerStatistics &stats)
template<typename T >
void	registerAnalyzerSettings (T &parser)

Function Documentation

analyze_cad_projections()

void smtrat::analyzer::analyze_cad_projections	(	const FormulaT &	f,
		AnalyzerStatistics &	stats
	)

Definition at line 87 of file cad_projections.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

analyze_cnf()

void smtrat::analyzer::analyze_cnf	(	const FormulaT &	f,
		AnalyzerStatistics &	stats
	)

Definition at line 11 of file cnf.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

analyze_formula_types()

void smtrat::analyzer::analyze_formula_types	(	const FormulaT &	f,
		AnalyzerStatistics &	stats
	)

Definition at line 7 of file formula_types.cpp.

Here is the caller graph for this function:

analyze_variables()

void smtrat::analyzer::analyze_variables	(	const FormulaT &	f,
		AnalyzerStatistics &	stats
	)

Definition at line 5 of file variables.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

collect_projection_size()

template<typename P >

void smtrat::analyzer::collect_projection_size	(	const std::string &	prefix,
		const P &	projection,
		AnalyzerStatistics &	stats
	)

Definition at line 33 of file cad_projections.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

perform_projection()

template<typename Settings >

void smtrat::analyzer::perform_projection	(	const std::string &	prefix,
		const std::set< ConstraintT > &	constraints,
		AnalyzerStatistics &	stats
	)

Definition at line 53 of file cad_projections.cpp.

Here is the call graph for this function:

registerAnalyzerSettings()

template<typename T >

void smtrat::analyzer::registerAnalyzerSettings

(

T &

parser

)

Definition at line 19 of file settings.h.

Here is the caller graph for this function: