polynomials.h File Reference

#include "../common.h"
#include <smtrat-common/smtrat-common.h>
#include <boost/intrusive/set.hpp>
#include "../OCApproximationStatistics.h"

Include dependency graph for polynomials.h:

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

Go to the source code of this file.

Data Structures
struct	smtrat::cadcells::datastructures::PolyRef
	Refers to a polynomial. More...
struct	smtrat::cadcells::datastructures::PolyConstraint
class	smtrat::cadcells::datastructures::PolyPool
	A pool for polynomials. More...
struct	smtrat::cadcells::datastructures::PolyPool::Element
struct	smtrat::cadcells::datastructures::PolyPool::element_less

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::cadcells
	A framework for sample-based CAD algorithms.
	smtrat::cadcells::datastructures
	Main datastructures.

Typedefs
using	smtrat::cadcells::datastructures::level_t = unsigned
using	smtrat::cadcells::datastructures::id_t = unsigned

Functions
bool	smtrat::cadcells::datastructures::operator< (const PolyRef &lhs, const PolyRef &rhs)
bool	smtrat::cadcells::datastructures::operator== (const PolyRef &lhs, const PolyRef &rhs)
bool	smtrat::cadcells::datastructures::operator!= (const PolyRef &lhs, const PolyRef &rhs)
std::ostream &	smtrat::cadcells::datastructures::operator<< (std::ostream &os, const PolyRef &data)
bool	smtrat::cadcells::datastructures::operator< (const PolyConstraint &lhs, const PolyConstraint &rhs)
bool	smtrat::cadcells::datastructures::operator== (const PolyConstraint &lhs, const PolyConstraint &rhs)
bool	smtrat::cadcells::datastructures::operator!= (const PolyConstraint &lhs, const PolyConstraint &rhs)
std::ostream &	smtrat::cadcells::datastructures::operator<< (std::ostream &os, const PolyConstraint &data)
auto	smtrat::cadcells::datastructures::base_level (Polynomial poly)