APRONXX  0.9.12
apron::tcons1 Member List

This is the complete list of members for apron::tcons1, including all inherited members.

extend_environment(const environment &e)apron::tcons1inline
get_ap_tcons1_t() constapron::tcons1inline
get_ap_tcons1_t()apron::tcons1inline
get_constyp()apron::tcons1inline
get_constyp() constapron::tcons1inline
get_environment() constapron::tcons1inline
get_modulo()apron::tcons1inline
get_modulo() constapron::tcons1inline
get_tcons0() constapron::tcons1inline
get_tcons0()apron::tcons1inline
get_texpr()apron::tcons1inline
get_texpr() constapron::tcons1inline
has_modulo() constapron::tcons1inline
has_texpr() constapron::tcons1inline
is_interval_cst() constapron::tcons1inline
is_interval_linear() constapron::tcons1inline
is_interval_polyfrac() constapron::tcons1inline
is_interval_polynomial() constapron::tcons1inline
is_scalar() constapron::tcons1inline
lapron::tcons1protected
operator delete(void *p)apron::use_mallocinline
operator delete[](void *p)apron::use_mallocinline
operator new(size_t sz)apron::use_mallocinline
operator new[](size_t sz)apron::use_mallocinline
operator!=(const texpr1::builder &a, const texpr1::builder &b)apron::tcons1friend
operator<(const texpr1::builder &a, const texpr1::builder &b)apron::tcons1friend
operator<<(std::ostream &os, const tcons1 &s)apron::tcons1friend
operator<=(const texpr1::builder &a, const texpr1::builder &b)apron::tcons1friend
operator=(const tcons1 &x)apron::tcons1inline
operator=(unsat x)apron::tcons1inline
operator=(const lincons1 &x)apron::tcons1inline
operator==(const texpr1::builder &a, const texpr1::builder &b)apron::tcons1friend
operator>(const texpr1::builder &a, const texpr1::builder &b)apron::tcons1friend
operator>=(const texpr1::builder &a, const texpr1::builder &b)apron::tcons1friend
print(FILE *stream=stdout) constapron::tcons1inline
set_modulo(const scalar &c)apron::tcons1inline
set_texpr(const texpr1::builder &c)apron::tcons1inline
tcons1(ap_tcons1_t l)apron::tcons1inlineprotected
tcons1(const environment &env, ap_constyp_t constyp=AP_CONS_SUPEQ)apron::tcons1inline
tcons1(ap_constyp_t constyp, const texpr1::builder &t)apron::tcons1inline
tcons1(ap_constyp_t constyp, const texpr1::builder &t, const scalar &modulo)apron::tcons1inline
tcons1(const tcons1 &x)apron::tcons1inline
tcons1(const tcons1 &x, const environment &e)apron::tcons1inline
tcons1(const environment &e, unsat x)apron::tcons1inline
tcons1(const lincons1 &x)apron::tcons1inline
~tcons1()apron::tcons1inline