delineation.h File Reference

#include <map>
#include <vector>
#include <boost/container/flat_set.hpp>
#include "roots.h"

Include dependency graph for delineation.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::TaggedIndexedRoot
class	smtrat::cadcells::datastructures::DelineationInterval
	An interval of a delineation. More...
class	smtrat::cadcells::datastructures::Delineation
	Represents the delineation of a set of polynomials (at a sample), that is. More...

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::RootMap = boost::container::flat_map< RAN, std::vector< TaggedIndexedRoot > >
using	smtrat::cadcells::datastructures::RootMapPlain = boost::container::flat_map< RAN, std::vector< IndexedRoot > >

Functions
std::ostream &	smtrat::cadcells::datastructures::operator<< (std::ostream &os, const TaggedIndexedRoot &data)
bool	smtrat::cadcells::datastructures::operator== (const TaggedIndexedRoot &lhs, const TaggedIndexedRoot &rhs)
bool	smtrat::cadcells::datastructures::operator< (const TaggedIndexedRoot &lhs, const TaggedIndexedRoot &rhs)
std::ostream &	smtrat::cadcells::datastructures::operator<< (std::ostream &os, const DelineationInterval &data)
std::ostream &	smtrat::cadcells::datastructures::operator<< (std::ostream &os, const Delineation &data)
bool	smtrat::cadcells::datastructures::lower_lt_lower (const DelineationInterval &del1, const DelineationInterval &del2)
	Compares the lower bounds of two DelineationIntervals. More...
bool	smtrat::cadcells::datastructures::lower_eq_lower (const DelineationInterval &del1, const DelineationInterval &del2)
	Compares the lower bounds of two DelineationIntervals. More...
bool	smtrat::cadcells::datastructures::upper_lt_upper (const DelineationInterval &del1, const DelineationInterval &del2)
	Compares the upper bounds of two DelineationIntervals. More...
bool	smtrat::cadcells::datastructures::upper_lt_lower (const DelineationInterval &del1, const DelineationInterval &del2)
	Compares an upper bound with a lower bound of DelineationIntervals. More...
bool	smtrat::cadcells::datastructures::upper_eq_upper (const DelineationInterval &del1, const DelineationInterval &del2)
	Compares the upper bounds of two DelineationIntervals. More...