codac 2.0.0
|
#include <cmath>
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::previous_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. | |
This class reuses several functions developed for ibex::Interval. See ibex::Interval (IBEX lib, main author: Gilles Chabert) https://ibex-lib.readthedocs.io