APRONXX  0.9.12
apron::tcons0 Member List

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

add_dimensions(const dimchange &d)apron::tcons0inline
get_ap_tcons0_t() constapron::tcons0inline
get_ap_tcons0_t()apron::tcons0inline
get_constyp()apron::tcons0inline
get_constyp() constapron::tcons0inline
get_modulo()apron::tcons0inline
get_modulo() constapron::tcons0inline
get_texpr()apron::tcons0inline
get_texpr() constapron::tcons0inline
has_modulo() constapron::tcons0inline
has_texpr() constapron::tcons0inline
is_interval_cst() constapron::tcons0inline
is_interval_linear() constapron::tcons0inline
is_interval_polyfrac() constapron::tcons0inline
is_interval_polynomial() constapron::tcons0inline
is_scalar() constapron::tcons0inline
lapron::tcons0protected
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 texpr0::builder &a, const texpr0::builder &b)apron::tcons0friend
operator<(const texpr0::builder &a, const texpr0::builder &b)apron::tcons0friend
operator<<(std::ostream &os, const tcons0 &s)apron::tcons0friend
operator<=(const texpr0::builder &a, const texpr0::builder &b)apron::tcons0friend
operator=(const tcons0 &x)apron::tcons0inline
operator=(unsat x)apron::tcons0inline
operator=(const lincons0 &x)apron::tcons0inline
operator==(const texpr0::builder &a, const texpr0::builder &b)apron::tcons0friend
operator>(const texpr0::builder &a, const texpr0::builder &b)apron::tcons0friend
operator>=(const texpr0::builder &a, const texpr0::builder &b)apron::tcons0friend
permute_dimensions(const dimperm &d)apron::tcons0inline
print(char **name_of_dim=NULL, FILE *stream=stdout) constapron::tcons0inline
remove_dimensions(const dimchange &d)apron::tcons0inline
set_modulo(const scalar &c)apron::tcons0inline
set_texpr(const texpr0::builder &c)apron::tcons0inline
tcons0(ap_tcons0_t &l)apron::tcons0inlineprotected
tcons0(ap_constyp_t constyp=AP_CONS_SUPEQ)apron::tcons0inline
tcons0(ap_constyp_t constyp, const texpr0::builder &t)apron::tcons0inline
tcons0(ap_constyp_t constyp, const texpr0::builder &t, const scalar &modulo)apron::tcons0inline
tcons0(const tcons0 &x)apron::tcons0inline
tcons0(const tcons0 &x, const dimchange &d, bool add=true)apron::tcons0inline
tcons0(const tcons0 &x, const dimperm &d)apron::tcons0inline
tcons0(unsat x)apron::tcons0inline
tcons0(const lincons0 &x)apron::tcons0inline
~tcons0()apron::tcons0inline