APRONXX
0.9.12
|
This is the complete list of members for apron::texpr1, including all inherited members.
depth() const | apron::texpr1 | inline |
equal(const texpr1 &x) const | apron::texpr1 | inline |
extend_environment(const environment &e) | apron::texpr1 | inline |
get_ap_texpr1_t() | apron::texpr1 | inline |
get_ap_texpr1_t() const | apron::texpr1 | inline |
get_environment() const | apron::texpr1 | inline |
get_texpr0() const | apron::texpr1 | inline |
get_texpr0() | apron::texpr1 | inline |
has_var(const var &v) const | apron::texpr1 | inline |
init_from(ap_environment_t *e, ap_texpr0_t *x) | apron::texpr1 | inlineprotected |
init_from(ap_texpr1_t *x) | apron::texpr1 | inlineprotected |
is_interval_cst() const | apron::texpr1 | inline |
is_interval_linear() const | apron::texpr1 | inline |
is_interval_polyfrac() const | apron::texpr1 | inline |
is_interval_polynomial() const | apron::texpr1 | inline |
is_scalar() const | apron::texpr1 | inline |
is_zero() const | apron::texpr1 | inline |
l | apron::texpr1 | protected |
operator delete(void *p) | apron::use_malloc | inline |
operator delete[](void *p) | apron::use_malloc | inline |
operator new(size_t sz) | apron::use_malloc | inline |
operator new[](size_t sz) | apron::use_malloc | inline |
operator<<(std::ostream &os, const texpr1 &s) | apron::texpr1 | friend |
operator=(const texpr1 &x) | apron::texpr1 | inline |
operator=(const const_iterator &x) | apron::texpr1 | inline |
operator=(const builder &x) | apron::texpr1 | inline |
operator=(const linexpr1 &x) | apron::texpr1 | inline |
print(FILE *stream=stdout) const | apron::texpr1 | inline |
root() const | apron::texpr1 | inline |
root() | apron::texpr1 | inline |
size() const | apron::texpr1 | inline |
substitute(const var &src, const texpr1 &dst) | apron::texpr1 | inline |
texpr1(ap_texpr1_t *x) | apron::texpr1 | inlineprotected |
texpr1(const builder &c) | apron::texpr1 | inline |
texpr1(const const_iterator &x) | apron::texpr1 | inline |
texpr1(const texpr1 &x) | apron::texpr1 | inline |
texpr1(const environment &e, const var &v) | apron::texpr1 | inline |
texpr1(const environment &e, const texpr0::const_iterator &x) | apron::texpr1 | inline |
texpr1(const environment &e, const texpr0 &x) | apron::texpr1 | inline |
texpr1(const environment &e, const texpr0::builder &c) | apron::texpr1 | inline |
texpr1(const linexpr1 &l) | apron::texpr1 | inline |
texpr1(const texpr1 &x, const environment &e) | apron::texpr1 | inline |
texpr1(const texpr1 &x, const var &src, const texpr1 &dst) | apron::texpr1 | inline |
~texpr1() | apron::texpr1 | inline |