CellApproximator.h File Reference

#include "ApproximationSettings.h"
#include "ran_approximation.h"
#include "criteria.h"
#include <carl-arith/poly/Conversion.h>

Include dependency graph for CellApproximator.h:

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

Go to the source code of this file.

Data Structures
class	smtrat::cadcells::representation::approximation::CellApproximator

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

Typedefs
using	smtrat::cadcells::representation::approximation::IR = datastructures::IndexedRoot

Functions
template<>
IR	smtrat::cadcells::representation::approximation::CellApproximator::apx_bound< ApxPoly::SIMPLE > (const IR &, const RAN &bound, bool below)
template<>
IR	smtrat::cadcells::representation::approximation::CellApproximator::apx_bound< ApxPoly::LINEAR_GRADIENT > (const IR &p, const RAN &bound, bool below)
template<>
IR	smtrat::cadcells::representation::approximation::CellApproximator::apx_bound< ApxPoly::TAYLOR > (const IR &p, const RAN &bound, bool below)
template<>
IR	smtrat::cadcells::representation::approximation::CellApproximator::apx_bound< ApxPoly::TAYLOR_LIN > (const IR &p, const RAN &bound, bool below)
template<>
IR	smtrat::cadcells::representation::approximation::CellApproximator::apx_bound< ApxPoly::MAXIMIZE > (const IR &p, const RAN &bound, bool below)
template<>
IR	smtrat::cadcells::representation::approximation::CellApproximator::apx_between< ApxPoly::SIMPLE > (const IR &, const IR &, const RAN &l, const RAN &u)