codac 2.0.0
Loading...
Searching...
No Matches
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 Intervalcodac2::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.
 

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
License: GNU Lesser General Public License (LGPL)