representation.h File Reference

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

Include dependency graph for representation.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::CellRepresentation< P >
	Represents a cell. More...
struct	smtrat::cadcells::datastructures::CoveringRepresentation< P >
	Represents a covering over a cell. 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
template<typename P >
std::ostream &	smtrat::cadcells::datastructures::operator<< (std::ostream &os, const CellRepresentation< P > &data)
template<typename P >
std::ostream &	smtrat::cadcells::datastructures::operator<< (std::ostream &os, const CoveringRepresentation< P > &data)