ApproximationSettings.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	smtrat::cadcells::representation::approximation::ApxSettings

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::cadcells
	A framework for sample-based CAD algorithms.
	smtrat::cadcells::representation
	Heuristics for computing representations.
	smtrat::cadcells::representation::approximation

Enumerations
enum	smtrat::cadcells::representation::approximation::ApxPoly {   smtrat::cadcells::representation::approximation::SIMPLE , smtrat::cadcells::representation::approximation::LINEAR_GRADIENT , smtrat::cadcells::representation::approximation::TAYLOR , smtrat::cadcells::representation::approximation::TAYLOR_LIN ,   smtrat::cadcells::representation::approximation::MAXIMIZE }
enum	smtrat::cadcells::representation::approximation::ApxRoot { smtrat::cadcells::representation::approximation::SAMPLE_MID , smtrat::cadcells::representation::approximation::SIMPLE_REPRESENTATION , smtrat::cadcells::representation::approximation::STERN_BROCOT , smtrat::cadcells::representation::approximation::FIXED_RATIO }

Functions
const ApxSettings &	smtrat::cadcells::representation::approximation::apx_settings ()