ran_thom.h File Reference

#include "ThomEncoding.h"
#include "../common/Operations.h"
#include <memory>

Include dependency graph for ran_thom.h:

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

Go to the source code of this file.

Data Structures
struct	carl::RealAlgebraicNumberThom< Number >
struct	carl::RealAlgebraicNumberThom< Number >::Content
struct	carl::is_ran_type< RealAlgebraicNumberThom< Number > >
struct	std::hash< carl::RealAlgebraicNumberThom< Number > >

Namespaces
	carl
	carl is the main namespace for the library.

Functions
template<typename Number >
Number	carl::branching_point (const RealAlgebraicNumberThom< Number > &n)
template<typename Number >
Number	carl::evaluate (const MultivariatePolynomial< Number > &p, std::map< Variable, RealAlgebraicNumberThom< Number >> &m)
template<typename Number , typename Poly >
bool	carl::evaluate (const BasicConstraint< Poly > &c, std::map< Variable, RealAlgebraicNumberThom< Number >> &m)
template<typename Number >
RealAlgebraicNumberThom< Number >	carl::abs (const RealAlgebraicNumberThom< Number > &n)
template<typename Number >
RealAlgebraicNumberThom< Number >	carl::sample_above (const RealAlgebraicNumberThom< Number > &n)
template<typename Number >
RealAlgebraicNumberThom< Number >	carl::sample_below (const RealAlgebraicNumberThom< Number > &n)
template<typename Number >
RealAlgebraicNumberThom< Number >	carl::sample_between (const RealAlgebraicNumberThom< Number > &lower, const RealAlgebraicNumberThom< Number > &upper)
template<typename Number >
Number	carl::sample_between (const RealAlgebraicNumberThom< Number > &lower, const Number &upper)
template<typename Number >
Number	carl::sample_between (const Number &lower, const RealAlgebraicNumberThom< Number > &upper)
template<typename Number >
Number	carl::floor (const RealAlgebraicNumberThom< Number > &n)
template<typename Number >
Number	carl::ceil (const RealAlgebraicNumberThom< Number > &n)
template<typename Number >
bool	carl::operator== (const RealAlgebraicNumberThom< Number > &lhs, const RealAlgebraicNumberThom< Number > &rhs)
template<typename Number >
bool	carl::operator== (const RealAlgebraicNumberThom< Number > &lhs, const Number &rhs)
template<typename Number >
bool	carl::operator== (const Number &lhs, const RealAlgebraicNumberThom< Number > &rhs)
template<typename Number >
bool	carl::operator< (const RealAlgebraicNumberThom< Number > &lhs, const RealAlgebraicNumberThom< Number > &rhs)
template<typename Number >
bool	carl::operator< (const RealAlgebraicNumberThom< Number > &lhs, const Number &rhs)
template<typename Number >
bool	carl::operator< (const Number &lhs, const RealAlgebraicNumberThom< Number > &rhs)
template<typename Num >
std::ostream &	carl::operator<< (std::ostream &os, const RealAlgebraicNumberThom< Num > &rhs)