RealAlgebraicPoint.h File Reference

#include <vector>
#include <carl-arith/ran/ran.h>

Include dependency graph for RealAlgebraicPoint.h:

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

Go to the source code of this file.

Data Structures
class	smtrat::mcsat::onecellcad::RealAlgebraicPoint< Number >
	Represent a multidimensional point whose components are algebraic reals. More...

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::mcsat
	smtrat::mcsat::onecellcad

Functions
template<typename Number >
bool	smtrat::mcsat::onecellcad::operator== (RealAlgebraicPoint< Number > &lhs, RealAlgebraicPoint< Number > &rhs)
	Check if two RealAlgebraicPoints are equal. More...
template<typename Number >
std::ostream &	smtrat::mcsat::onecellcad::operator<< (std::ostream &os, const RealAlgebraicPoint< Number > &r)
	Streaming operator for a RealAlgebraicPoint. More...