APRONXX
0.9.12
|
This is the complete list of members for apron::tcons1, including all inherited members.
extend_environment(const environment &e) | apron::tcons1 | inline |
get_ap_tcons1_t() const | apron::tcons1 | inline |
get_ap_tcons1_t() | apron::tcons1 | inline |
get_constyp() | apron::tcons1 | inline |
get_constyp() const | apron::tcons1 | inline |
get_environment() const | apron::tcons1 | inline |
get_modulo() | apron::tcons1 | inline |
get_modulo() const | apron::tcons1 | inline |
get_tcons0() const | apron::tcons1 | inline |
get_tcons0() | apron::tcons1 | inline |
get_texpr() | apron::tcons1 | inline |
get_texpr() const | apron::tcons1 | inline |
has_modulo() const | apron::tcons1 | inline |
has_texpr() const | apron::tcons1 | inline |
is_interval_cst() const | apron::tcons1 | inline |
is_interval_linear() const | apron::tcons1 | inline |
is_interval_polyfrac() const | apron::tcons1 | inline |
is_interval_polynomial() const | apron::tcons1 | inline |
is_scalar() const | apron::tcons1 | inline |
l | apron::tcons1 | 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!=(const texpr1::builder &a, const texpr1::builder &b) | apron::tcons1 | friend |
operator<(const texpr1::builder &a, const texpr1::builder &b) | apron::tcons1 | friend |
operator<<(std::ostream &os, const tcons1 &s) | apron::tcons1 | friend |
operator<=(const texpr1::builder &a, const texpr1::builder &b) | apron::tcons1 | friend |
operator=(const tcons1 &x) | apron::tcons1 | inline |
operator=(unsat x) | apron::tcons1 | inline |
operator=(const lincons1 &x) | apron::tcons1 | inline |
operator==(const texpr1::builder &a, const texpr1::builder &b) | apron::tcons1 | friend |
operator>(const texpr1::builder &a, const texpr1::builder &b) | apron::tcons1 | friend |
operator>=(const texpr1::builder &a, const texpr1::builder &b) | apron::tcons1 | friend |
print(FILE *stream=stdout) const | apron::tcons1 | inline |
set_modulo(const scalar &c) | apron::tcons1 | inline |
set_texpr(const texpr1::builder &c) | apron::tcons1 | inline |
tcons1(ap_tcons1_t l) | apron::tcons1 | inlineprotected |
tcons1(const environment &env, ap_constyp_t constyp=AP_CONS_SUPEQ) | apron::tcons1 | inline |
tcons1(ap_constyp_t constyp, const texpr1::builder &t) | apron::tcons1 | inline |
tcons1(ap_constyp_t constyp, const texpr1::builder &t, const scalar &modulo) | apron::tcons1 | inline |
tcons1(const tcons1 &x) | apron::tcons1 | inline |
tcons1(const tcons1 &x, const environment &e) | apron::tcons1 | inline |
tcons1(const environment &e, unsat x) | apron::tcons1 | inline |
tcons1(const lincons1 &x) | apron::tcons1 | inline |
~tcons1() | apron::tcons1 | inline |