|
|
| builder (const builder &x) |
| Makes a shallow copy, copying only the root node. Sub-expressions are aliased, not copied. More...
|
|
| builder (const const_iterator &x) |
| Makes a shallow copy, copying only the root node. Sub-expressions are aliased, not copied. More...
|
|
| builder (const texpr1 &x) |
| Makes a shallow copy, copying only the root node. Sub-expressions are aliased, not copied. More...
|
|
| builder (const environment &e, const texpr0::builder &b) |
| Converts from a level 0 builder and associates an environment. More...
|
|
| builder (const environment &e, const texpr0::const_iterator &b) |
| Converts from a level 0 expression (shallow copy) and associates an environment. More...
|
|
| builder (const environment &e, const texpr0 &b) |
| Converts from a level 0 expression (shallow copy) and associates an environment. More...
|
|
| builder (const environment &e, const coeff &x) |
| Makes a constant leaf from a scalar or interval coefficient (copied). More...
|
|
| builder (const environment &e, const scalar &x) |
| Makes a constant scalar leaf from a scalar (copied). More...
|
|
| builder (const environment &e, const mpq_class &x) |
| Makes a constant scalar leaf from a MPQ (copied). More...
|
|
| builder (const environment &e, mpfr_t x) |
| Makes a constant scalar leaf from a MPFR (copied). More...
|
|
| builder (const environment &e, int x) |
| Makes a constant scalar MPQ leaf from an integer. More...
|
|
| builder (const environment &e, long x) |
| Makes a constant scalar MPQ leaf from an integer. More...
|
|
| builder (const environment &e, double x) |
| Makes a constant scalar double leaf from a double. More...
|
|
| builder (const environment &e, const frac &x) |
| Makes a constant scalar MPQ leaf from a fraction with integer coefficients. More...
|
|
| builder (const environment &e, const interval &x) |
| Makes a constant interval leaf from an interval (copied). More...
|
|
| builder (const environment &e, const scalar &inf, const scalar &sup) |
| Makes a constant interval leaf from two scalar bounds (copied). More...
|
|
| builder (const environment &e, const mpq_class &inf, const mpq_class &sup) |
| Makes a constant interval leaf from two MPQ bounds (copied). More...
|
|
| builder (const environment &e, mpfr_t inf, mpfr_t sup) |
| Makes a constant interval leaf from two MPFR bounds (copied). More...
|
|
| builder (const environment &e, int inf, int sup) |
| Makes a constant interval leaf from two integer bounds (converted to MPQ). More...
|
|
| builder (const environment &e, long inf, long sup) |
| Makes a constant interval leaf from two integer bounds (converted to MPQ). More...
|
|
| builder (const environment &e, double inf, double sup) |
| Makes a constant interval leaf from two double bounds. More...
|
|
| builder (const environment &e, const frac &inf, const frac &sup) |
| Makes a constant interval leaf from two fraction bounds (converted to MPQ). More...
|
|
| builder (const environment &e, top t) |
| Makes a constant interval leaf equal to ]-oo;+oo[. More...
|
|
| builder (const environment &e, const var &v) |
| Makes a variable name dimension leaf. More...
|
|
| builder (ap_texpr_op_t op, const builder &argA, ap_texpr_rtype_t rtype, ap_texpr_rdir_t rdir) |
| Makes a unary expression node. More...
|
|
| builder (ap_texpr_op_t op, const builder &argA, const builder &argB, ap_texpr_rtype_t rtype, ap_texpr_rdir_t rdir) |
| Makes a binary expression node. More...
|
|
|
| ~builder () |
| Frees the memory occupied by the node, not its sub-expressions. More...
|
|
|
bool | is_zero () const |
| Whether the expression is a single coefficient node with 0 value. More...
|
|
|
ap_texpr1_t * | get_ap_texpr1_t () |
| Returns a pointer to the internal APRON object stored in *this. More...
|
|
const ap_texpr1_t * | get_ap_texpr1_t () const |
| Returns a pointer to the internal APRON object stored in *this. More...
|
|
void * | operator new (size_t sz) |
|
void * | operator new[] (size_t sz) |
|
void | operator delete (void *p) |
|
void | operator delete[] (void *p) |
|
Temporary expression nodes used when constructing a texpr1.
A temporary expression is composed of a level 0 node with an associated environment.
You should not create variables of type build, nor define functions that return or take builder objects as arguments.