codac2_Interval_impl.h File Reference

#include <cmath>

Include dependency graph for codac2_Interval_impl.h:

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

Go to the source code of this file.

Namespaces
namespace	codac2

Functions
Interval	codac2::operator& (const Interval &x, const Interval &y)
	Returns the intersection of two intervals: \([x]\cap[y]\).
Interval	codac2::operator| (const Interval &x, double y)
	Returns the squared-union of an interval and a real: \([x]\sqcup\{y\}\).
Interval	codac2::operator| (const Interval &x, const Interval &y)
	Returns the squared-union of two intervals: \([x]\sqcup[y]\).
const Interval &	codac2::operator+ (const Interval &x)
	Returns this.
Interval	codac2::operator+ (const Interval &x, double y)
	Returns \([x]+y\) with \(y\in\mathbb{R}\).
Interval	codac2::operator+ (double x, const Interval &y)
	Returns \(x+[y]\) with \(x\in\mathbb{R}\).
Interval	codac2::operator+ (const Interval &x, const Interval &y)
	Returns \([x]+[y]\).
Interval	codac2::operator- (const Interval &x, double y)
	Returns \([x]-y\) with \(y\in\mathbb{R}\).
Interval	codac2::operator- (double x, const Interval &y)
	Returns \(x-[y]\) with \(x\in\mathbb{R}\).
Interval	codac2::operator- (const Interval &x, const Interval &y)
	Returns \([x]-[y]\).
Interval	codac2::operator* (const Interval &x, double y)
	Returns \([x]*y\) with \(y\in\mathbb{R}\).
Interval	codac2::operator* (double x, const Interval &y)
	Returns \(x*[y]\) with \(x\in\mathbb{R}\).
Interval	codac2::operator* (const Interval &x, const Interval &y)
	Returns \([x]*[y]\).
Interval	codac2::operator/ (const Interval &x, double y)
	Returns \([x]/y\) with \(y\in\mathbb{R}\).
Interval	codac2::operator/ (double x, const Interval &y)
	Returns \(x/[y]\) with \(x\in\mathbb{R}\).
Interval	codac2::operator/ (const Interval &x, const Interval &y)
	Returns \([x]/[y]\).
std::ostream &	codac2::operator<< (std::ostream &os, const Interval &x)
	Streams out this.
Interval	codac2::operator""_i (long double x)
	Codac defined literals allowing to produce an interval from a double.
double	codac2::prev_float (double x)
	Returns the previous representable double-precision floating-point value before x.
double	codac2::next_float (double x)
	Returns the next representable double-precision floating-point value after x.

Detailed Description

This class reuses several functions developed for ibex::Interval. See ibex::Interval (IBEX lib, main author: Gilles Chabert) https://ibex-lib.readthedocs.io

---

Date

2024

Author

Gilles Chabert, Simon Rohou

Copyright

Copyright 2024 Codac Team

License: GNU Lesser General Public License (LGPL)