roots.h File Reference

#include "../common.h"
#include "polynomials.h"
#include "boost/container/flat_set.hpp"
#include "boost/container/flat_map.hpp"

Include dependency graph for roots.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::IndexedRoot
	Represents the i-th root of a multivariate polynomial at its main variable (given an appropriate sample). More...
struct	smtrat::cadcells::datastructures::PiecewiseLinearInfo
struct	smtrat::cadcells::datastructures::CompoundMinMax
	Represents the minimum function of the contained indexed root functions. More...
struct	smtrat::cadcells::datastructures::CompoundMaxMin
	Represents the maximum function of the contained indexed root functions. More...
class	smtrat::cadcells::datastructures::RootFunction
class	smtrat::cadcells::datastructures::Bound
	Bound type of a SymbolicInterval. More...
class	smtrat::cadcells::datastructures::SymbolicInterval
	A symbolic interal whose bounds are defined by indexed root expressions. More...
class	smtrat::cadcells::datastructures::CoveringDescription
	Describes a covering of the real line by SymbolicIntervals (given an appropriate sample). More...
struct	smtrat::cadcells::datastructures::IndexedRootRelation
	A relation between two roots. More...
class	smtrat::cadcells::datastructures::IndexedRootOrdering
	Describes an ordering of IndexedRoots. More...

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

Functions
bool	smtrat::cadcells::datastructures::operator== (const IndexedRoot &lhs, const IndexedRoot &rhs)
bool	smtrat::cadcells::datastructures::operator< (const IndexedRoot &lhs, const IndexedRoot &rhs)
bool	smtrat::cadcells::datastructures::operator!= (const IndexedRoot &lhs, const IndexedRoot &rhs)
std::ostream &	smtrat::cadcells::datastructures::operator<< (std::ostream &os, const IndexedRoot &data)
bool	smtrat::cadcells::datastructures::operator== (const CompoundMinMax &lhs, const CompoundMinMax &rhs)
bool	smtrat::cadcells::datastructures::operator< (const CompoundMinMax &lhs, const CompoundMinMax &rhs)
bool	smtrat::cadcells::datastructures::operator!= (const CompoundMinMax &lhs, const CompoundMinMax &rhs)
std::ostream &	smtrat::cadcells::datastructures::operator<< (std::ostream &os, const CompoundMinMax &data)
bool	smtrat::cadcells::datastructures::operator== (const CompoundMaxMin &lhs, const CompoundMaxMin &rhs)
bool	smtrat::cadcells::datastructures::operator< (const CompoundMaxMin &lhs, const CompoundMaxMin &rhs)
bool	smtrat::cadcells::datastructures::operator!= (const CompoundMaxMin &lhs, const CompoundMaxMin &rhs)
std::ostream &	smtrat::cadcells::datastructures::operator<< (std::ostream &os, const CompoundMaxMin &data)
bool	smtrat::cadcells::datastructures::operator== (const RootFunction &lhs, const RootFunction &rhs)
bool	smtrat::cadcells::datastructures::operator< (const RootFunction &lhs, const RootFunction &rhs)
bool	smtrat::cadcells::datastructures::operator!= (const RootFunction &lhs, const RootFunction &rhs)
std::ostream &	smtrat::cadcells::datastructures::operator<< (std::ostream &os, const RootFunction &data)
std::ostream &	smtrat::cadcells::datastructures::operator<< (std::ostream &os, const SymbolicInterval &data)
std::ostream &	smtrat::cadcells::datastructures::operator<< (std::ostream &os, const CoveringDescription &data)
bool	smtrat::cadcells::datastructures::operator== (const IndexedRootRelation &lhs, const IndexedRootRelation &rhs)
bool	smtrat::cadcells::datastructures::operator< (const IndexedRootRelation &lhs, const IndexedRootRelation &rhs)
std::ostream &	smtrat::cadcells::datastructures::operator<< (std::ostream &os, const IndexedRootRelation &data)
std::ostream &	smtrat::cadcells::datastructures::operator<< (std::ostream &os, const IndexedRootOrdering &data)