APRONXX  0.9.12
apron::texpr1 Member List

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

depth() constapron::texpr1inline
equal(const texpr1 &x) constapron::texpr1inline
extend_environment(const environment &e)apron::texpr1inline
get_ap_texpr1_t()apron::texpr1inline
get_ap_texpr1_t() constapron::texpr1inline
get_environment() constapron::texpr1inline
get_texpr0() constapron::texpr1inline
get_texpr0()apron::texpr1inline
has_var(const var &v) constapron::texpr1inline
init_from(ap_environment_t *e, ap_texpr0_t *x)apron::texpr1inlineprotected
init_from(ap_texpr1_t *x)apron::texpr1inlineprotected
is_interval_cst() constapron::texpr1inline
is_interval_linear() constapron::texpr1inline
is_interval_polyfrac() constapron::texpr1inline
is_interval_polynomial() constapron::texpr1inline
is_scalar() constapron::texpr1inline
is_zero() constapron::texpr1inline
lapron::texpr1protected
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<<(std::ostream &os, const texpr1 &s)apron::texpr1friend
operator=(const texpr1 &x)apron::texpr1inline
operator=(const const_iterator &x)apron::texpr1inline
operator=(const builder &x)apron::texpr1inline
operator=(const linexpr1 &x)apron::texpr1inline
print(FILE *stream=stdout) constapron::texpr1inline
root() constapron::texpr1inline
root()apron::texpr1inline
size() constapron::texpr1inline
substitute(const var &src, const texpr1 &dst)apron::texpr1inline
texpr1(ap_texpr1_t *x)apron::texpr1inlineprotected
texpr1(const builder &c)apron::texpr1inline
texpr1(const const_iterator &x)apron::texpr1inline
texpr1(const texpr1 &x)apron::texpr1inline
texpr1(const environment &e, const var &v)apron::texpr1inline
texpr1(const environment &e, const texpr0::const_iterator &x)apron::texpr1inline
texpr1(const environment &e, const texpr0 &x)apron::texpr1inline
texpr1(const environment &e, const texpr0::builder &c)apron::texpr1inline
texpr1(const linexpr1 &l)apron::texpr1inline
texpr1(const texpr1 &x, const environment &e)apron::texpr1inline
texpr1(const texpr1 &x, const var &src, const texpr1 &dst)apron::texpr1inline
~texpr1()apron::texpr1inline