interval.h

#ifndef PROBFD_VALUE_UTILS_H
#define PROBFD_VALUE_UTILS_H
 
#include "probfd/value_type.h"
 
#include <iosfwd>
 
namespace probfd {
 
struct Interval {
    value_t lower; 
    value_t upper; 
 
    explicit Interval(value_t val = 0_vt);
 
    explicit Interval(value_t lb, value_t ub);
 
    Interval& operator+=(Interval rhs);
 
    Interval& operator*=(value_t scale_factor);
 
    [[nodiscard]]
    double length() const;
 
    [[nodiscard]]
    bool bounds_approximately_equal(value_t tolerance = g_epsilon) const;
};
 
Interval operator+(Interval lhs, Interval rhs);
 
Interval operator*(value_t scale_factor, Interval val);
 
Interval operator*(Interval val, value_t scale_factor);
 
std::ostream& operator<<(std::ostream& os, Interval val);
 
} // namespace probfd
 
#endif // PROBFD_VALUE_UTILS_H