ran_approximation.h File Reference

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

Go to the source code of this file.

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

Functions
Rational	smtrat::cadcells::representation::approximation::mediant (Rational a, Rational b)
Rational	smtrat::cadcells::representation::approximation::approximate_RAN (const RAN &r)
Rational	smtrat::cadcells::representation::approximation::approximate_RAN_sb (const RAN &r)
Rational	smtrat::cadcells::representation::approximation::approximate_RAN_below (const RAN &r)
Rational	smtrat::cadcells::representation::approximation::approximate_RAN_above (const RAN &r)
template<ApxRoot AR>
Rational	smtrat::cadcells::representation::approximation::approximate_root_above (const RAN &inner, const RAN &outer)
template<ApxRoot AR>
Rational	smtrat::cadcells::representation::approximation::approximate_root_below (const RAN &inner, const RAN &outer)
template<>
Rational	smtrat::cadcells::representation::approximation::approximate_root_above< ApxRoot::SAMPLE_MID > (const RAN &inner, const RAN &outer)
template<>
Rational	smtrat::cadcells::representation::approximation::approximate_root_below< ApxRoot::SAMPLE_MID > (const RAN &inner, const RAN &outer)
template<>
Rational	smtrat::cadcells::representation::approximation::approximate_root_above< ApxRoot::SIMPLE_REPRESENTATION > (const RAN &inner, const RAN &outer)
template<>
Rational	smtrat::cadcells::representation::approximation::approximate_root_below< ApxRoot::SIMPLE_REPRESENTATION > (const RAN &inner, const RAN &outer)
template<>
Rational	smtrat::cadcells::representation::approximation::approximate_root_above< ApxRoot::STERN_BROCOT > (const RAN &inner, const RAN &outer)
template<>
Rational	smtrat::cadcells::representation::approximation::approximate_root_below< ApxRoot::STERN_BROCOT > (const RAN &inner, const RAN &outer)
template<>
Rational	smtrat::cadcells::representation::approximation::approximate_root_above< ApxRoot::FIXED_RATIO > (const RAN &inner, const RAN &outer)
template<>
Rational	smtrat::cadcells::representation::approximation::approximate_root_below< ApxRoot::FIXED_RATIO > (const RAN &inner, const RAN &outer)
template<ApxRoot AR>
Rational	smtrat::cadcells::representation::approximation::approximate_root (const RAN &inner, const RAN &outer, bool below)