APRONXX
0.9.12
|
This is the complete list of members for apron::tcons0, including all inherited members.
add_dimensions(const dimchange &d) | apron::tcons0 | inline |
get_ap_tcons0_t() const | apron::tcons0 | inline |
get_ap_tcons0_t() | apron::tcons0 | inline |
get_constyp() | apron::tcons0 | inline |
get_constyp() const | apron::tcons0 | inline |
get_modulo() | apron::tcons0 | inline |
get_modulo() const | apron::tcons0 | inline |
get_texpr() | apron::tcons0 | inline |
get_texpr() const | apron::tcons0 | inline |
has_modulo() const | apron::tcons0 | inline |
has_texpr() const | apron::tcons0 | inline |
is_interval_cst() const | apron::tcons0 | inline |
is_interval_linear() const | apron::tcons0 | inline |
is_interval_polyfrac() const | apron::tcons0 | inline |
is_interval_polynomial() const | apron::tcons0 | inline |
is_scalar() const | apron::tcons0 | inline |
l | apron::tcons0 | 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 texpr0::builder &a, const texpr0::builder &b) | apron::tcons0 | friend |
operator<(const texpr0::builder &a, const texpr0::builder &b) | apron::tcons0 | friend |
operator<<(std::ostream &os, const tcons0 &s) | apron::tcons0 | friend |
operator<=(const texpr0::builder &a, const texpr0::builder &b) | apron::tcons0 | friend |
operator=(const tcons0 &x) | apron::tcons0 | inline |
operator=(unsat x) | apron::tcons0 | inline |
operator=(const lincons0 &x) | apron::tcons0 | inline |
operator==(const texpr0::builder &a, const texpr0::builder &b) | apron::tcons0 | friend |
operator>(const texpr0::builder &a, const texpr0::builder &b) | apron::tcons0 | friend |
operator>=(const texpr0::builder &a, const texpr0::builder &b) | apron::tcons0 | friend |
permute_dimensions(const dimperm &d) | apron::tcons0 | inline |
print(char **name_of_dim=NULL, FILE *stream=stdout) const | apron::tcons0 | inline |
remove_dimensions(const dimchange &d) | apron::tcons0 | inline |
set_modulo(const scalar &c) | apron::tcons0 | inline |
set_texpr(const texpr0::builder &c) | apron::tcons0 | inline |
tcons0(ap_tcons0_t &l) | apron::tcons0 | inlineprotected |
tcons0(ap_constyp_t constyp=AP_CONS_SUPEQ) | apron::tcons0 | inline |
tcons0(ap_constyp_t constyp, const texpr0::builder &t) | apron::tcons0 | inline |
tcons0(ap_constyp_t constyp, const texpr0::builder &t, const scalar &modulo) | apron::tcons0 | inline |
tcons0(const tcons0 &x) | apron::tcons0 | inline |
tcons0(const tcons0 &x, const dimchange &d, bool add=true) | apron::tcons0 | inline |
tcons0(const tcons0 &x, const dimperm &d) | apron::tcons0 | inline |
tcons0(unsat x) | apron::tcons0 | inline |
tcons0(const lincons0 &x) | apron::tcons0 | inline |
~tcons0() | apron::tcons0 | inline |