APRONXX  0.9.12
apron::texpr0 Member List

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

add_dimensions(const dimchange &d)apron::texpr0inline
depth() constapron::texpr0inline
dimlist() constapron::texpr0inline
equal(const texpr0 &x) constapron::texpr0inline
get_ap_texpr0_t()apron::texpr0inline
get_ap_texpr0_t() constapron::texpr0inline
has_dim(ap_dim_t d) constapron::texpr0inline
hash() constapron::texpr0inline
init_from(ap_texpr0_t *x)apron::texpr0inlineprotected
is_interval_cst() constapron::texpr0inline
is_interval_linear() constapron::texpr0inline
is_interval_polyfrac() constapron::texpr0inline
is_interval_polynomial() constapron::texpr0inline
is_scalar() constapron::texpr0inline
is_zero() constapron::texpr0inline
lapron::texpr0protected
max_dim() constapron::texpr0inline
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 texpr0 &s)apron::texpr0friend
operator=(const texpr0 &x)apron::texpr0inline
operator=(const const_iterator &x)apron::texpr0inline
operator=(const builder &x)apron::texpr0inline
operator=(const linexpr0 &x)apron::texpr0inline
permute_dimensions(const dimperm &d)apron::texpr0inline
print(char **name_of_dim=NULL, FILE *stream=stdout) constapron::texpr0inline
remove_dimensions(const dimchange &d)apron::texpr0inline
root() constapron::texpr0inline
root()apron::texpr0inline
size() constapron::texpr0inline
substitute(ap_dim_t dim, const texpr0 &dst)apron::texpr0inline
texpr0(ap_texpr0_t *x)apron::texpr0inlineprotected
texpr0(const builder &x)apron::texpr0inline
texpr0(const texpr0 &x)apron::texpr0inline
texpr0(const const_iterator &x)apron::texpr0inline
texpr0(const linexpr0 &l)apron::texpr0inline
texpr0(const texpr0 &x, const dimchange &d, bool add=true)apron::texpr0inline
texpr0(const texpr0 &x, const dimperm &d)apron::texpr0inline
texpr0(const texpr0 &x, ap_dim_t dim, const texpr0 &dst)apron::texpr0inline
~texpr0()apron::texpr0inline