16 #ifndef __APXX_INTERVAL_HH 17 #define __APXX_INTERVAL_HH 20 #include "ap_interval.h" 103 interval(
const mpq_class& inf,
const mpq_class& sup);
167 interval&
set(
const mpq_class& inf,
const mpq_class& sup);
170 interval&
set(mpfr_t inf, mpfr_t sup);
200 const scalar& get_inf()
const;
203 const scalar& get_sup()
const;
218 void print(FILE* stream=stdout)
const;
233 bool is_bottom()
const;
284 const ap_interval_t* get_ap_interval_t()
const;
287 ap_interval_t* get_ap_interval_t();
388 operator std::vector<interval>()
const;
403 void print(FILE* stream=stdout)
const;
424 const interval& operator[](
size_t i)
const;
436 const interval&
get(
size_t i)
const;
448 const ap_interval_t *
const * get_ap_interval_t_array()
const;
451 ap_interval_t** get_ap_interval_t_array();
Definition: apxx_abstract0.hh:27
top()
Definition: apxx_interval.hh:28
interval(bottom t)
Makes a new empty interval [+1;-1].
Definition: apxx_interval.hh:104
array of interval(s).
Definition: apxx_interval.hh:302
std::ostream & operator<<(std::ostream &os, const abstract0 &s)
Definition: apxx_abstract0.hh:293
void swap(coeff &a, coeff &b)
Definition: apxx_coeff.hh:382
texpr0::builder neg(const texpr0::builder &a, ap_texpr_rtype_t rtype=AP_RTYPE_REAL, ap_texpr_rdir_t rdir=AP_RDIR_NEAREST)
Definition: apxx_texpr0.hh:814
Level 0 abstract value (ap_abstract0_t* wrapper).
Definition: apxx_abstract0.hh:78
int cmp(const coeff &a, const coeff &b)
Definition: apxx_coeff.hh:415
size_t sz
Array size.
Definition: apxx_interval.hh:306
texpr0::builder operator-(const texpr0::builder &a)
Definition: apxx_texpr0.hh:854
ap_interval_t c
Structure managed by APRON.
Definition: apxx_interval.hh:50
bool operator==(const abstract0 &x, const abstract0 &y)
Definition: apxx_abstract0.hh:410
bool operator>(const abstract0 &x, const abstract0 &y)
Definition: apxx_abstract0.hh:434
Level 0 arbitrary expression tree (ap_texpr0_t wrapper).
Definition: apxx_texpr0.hh:92
bool operator>=(const abstract0 &x, const abstract0 &y)
Definition: apxx_abstract0.hh:429
order
Returned by ordering functions.
Definition: apxx_interval.hh:66
Empty interval or domain, to simplify initialisations and assignments.
Definition: apxx_interval.hh:33
Level 1 abstract value (ap_abstract1_t wrapper).
Definition: apxx_abstract1.hh:42
Full interval (]-oo,+oo[) or domain, to simplify initialisations and assignments. ...
Definition: apxx_interval.hh:27
bool operator!=(const abstract0 &x, const abstract0 &y)
Definition: apxx_abstract0.hh:417
Interval (ap_interval_t wrapper).
Definition: apxx_interval.hh:47
Inherited by most wrappers to map new and delete to malloc and free.
Definition: apxx_scalar.hh:69
A fraction with native int coefficients, to simplify initialisations and assignments.
Definition: apxx_scalar.hh:41
bool operator<=(const abstract0 &x, const abstract0 &y)
Definition: apxx_abstract0.hh:422
bottom()
Definition: apxx_interval.hh:34
Level 0 linear expression (ap_linexpr0_t wrapper).
Definition: apxx_linexpr0.hh:44
bool operator<(const abstract0 &x, const abstract0 &y)
Definition: apxx_abstract0.hh:439
Scalar (ap_scalar_t wrapper).
Definition: apxx_scalar.hh:89