Ran.h File Reference

#include <carl-arith/poly/umvpoly/functions/SquareFreePart.h>
#include <carl-arith/poly/umvpoly/UnivariatePolynomial.h>
#include <carl-arith/poly/umvpoly/functions/Division.h>
#include <carl-arith/poly/umvpoly/functions/Evaluation.h>
#include <carl-arith/poly/umvpoly/functions/Representation.h>
#include <carl-arith/poly/umvpoly/functions/RootBounds.h>
#include <carl-arith/poly/umvpoly/functions/RootCounting.h>
#include <carl-arith/constraint/BasicConstraint.h>
#include <carl-arith/interval/Interval.h>
#include <carl-arith/poly/umvpoly/functions/IntervalEvaluation.h>
#include <carl-arith/interval/SetTheory.h>
#include "../common/Operations.h"
#include "../common/NumberOperations.h"
#include <list>
#include <boost/logic/tribool.hpp>

Include dependency graph for Ran.h:

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

Go to the source code of this file.

Data Structures
class	carl::IntRepRealAlgebraicNumber< Number >
struct	carl::IntRepRealAlgebraicNumber< Number >::content
struct	carl::is_ran_type< IntRepRealAlgebraicNumber< Number > >
struct	std::hash< carl::IntRepRealAlgebraicNumber< Number > >

Namespaces
	carl
	carl is the main namespace for the library.

Functions
template<typename Number >
Number	carl::branching_point (const IntRepRealAlgebraicNumber< Number > &n)
template<typename Number >
Number	carl::sample_above (const IntRepRealAlgebraicNumber< Number > &n)
template<typename Number >
Number	carl::sample_below (const IntRepRealAlgebraicNumber< Number > &n)
template<typename Number >
Number	carl::sample_between (const IntRepRealAlgebraicNumber< Number > &lower, const IntRepRealAlgebraicNumber< Number > &upper)
template<typename Number >
Number	carl::sample_between (const IntRepRealAlgebraicNumber< Number > &lower, const Number &upper)
template<typename Number >
Number	carl::sample_between (const Number &lower, const IntRepRealAlgebraicNumber< Number > &upper)
template<typename Number >
Number	carl::floor (const IntRepRealAlgebraicNumber< Number > &n)
template<typename Number >
Number	carl::ceil (const IntRepRealAlgebraicNumber< Number > &n)
template<typename Number >
bool	carl::is_zero (const IntRepRealAlgebraicNumber< Number > &n)
template<typename Number >
bool	carl::is_integer (const IntRepRealAlgebraicNumber< Number > &n)
template<typename Number >
Number	carl::integer_below (const IntRepRealAlgebraicNumber< Number > &n)
template<typename Number >
static IntRepRealAlgebraicNumber< Number >	carl::abs (const IntRepRealAlgebraicNumber< Number > &n)
template<typename Number >
std::size_t	carl::bitsize (const IntRepRealAlgebraicNumber< Number > &n)
template<typename Number >
Sign	carl::sgn (const IntRepRealAlgebraicNumber< Number > &n)
template<typename Number >
Sign	carl::sgn (const IntRepRealAlgebraicNumber< Number > &n, const UnivariatePolynomial< Number > &p)
template<typename Number >
bool	carl::contained_in (const IntRepRealAlgebraicNumber< Number > &n, const Interval< Number > &i)
template<typename Number >
bool	carl::compare (const IntRepRealAlgebraicNumber< Number > &lhs, const IntRepRealAlgebraicNumber< Number > &rhs, const Relation relation)
template<typename Number >
bool	carl::compare (const IntRepRealAlgebraicNumber< Number > &lhs, const Number &rhs, const Relation relation)
template<typename Num >
std::ostream &	carl::operator<< (std::ostream &os, const IntRepRealAlgebraicNumber< Num > &ran)