#include <cassert>
#include <realroot/texp.hpp>
#include <realroot/texp_expression.hpp>
#include <realroot/rounding_mode.hpp>
#include <realroot/Interval_fcts.hpp>

Classes

struct Interval< T, r >
Generic class for intervals. More...
struct Interval< T, r >::extended
struct kernelof_< Interval< X, r > >

Namespaces

namespace mmx
namespace mmx::numerics
namespace mmx::texp
namespace mmx::let
Namespace for explicit type conversion.

Functions

template<class OSTREAM , class T , int r> void print (OSTREAM &os, const Interval< T, r > &a)
template<class T , int r> void hull (Interval< T, r > &v, const Interval< T, r > &a, const Interval< T, r > &b)
template<class T , int r> bool intersect (Interval< T, r > &result, const Interval< T, r > &a, const Interval< T, r > &b)
template<class X , class Y , int r0, int r1> void assign (Interval< X, r0 > &a, const Interval< Y, r1 > &b)
template<class A , class B > void assign (A &a, const B &b)
Generic definition of the assignement function.
template<class C , class T > void assign (Interval< C > &a, const T &b)