dReal4
interval.h
1 #pragma once
2 
3 #include "dreal/util/box.h"
4 
5 namespace dreal {
6 
7 /// Expands a point value @p c into an interval `[prev_c, next_c]`
8 /// where `prev_c` is the largest machine-representable floating-point
9 /// number which is smaller than c and `next_c` is the smallest
10 /// machine-representable floating-point number which is larger than
11 /// c.
12 ///
13 /// @note When c is +∞ (resp. -∞), this function returns [DBL_MAX, +∞]
14 /// (resp. -[-∞, DBL_MAX]).
15 Box::Interval BloatPoint(double c);
16 
17 } // namespace dreal
dreal::BloatPoint
Box::Interval BloatPoint(const double c)
Expands a point value c into an interval [prev_c, next_c] where prev_c is the largest machine-represe...
Definition: interval.cc:11
dreal
Sum type of symbolic::Expression and symbolic::Formula.
Definition: api.cc:9