APRONXX  0.9.12
apron::linexpr1 Member List

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

begin()apron::linexpr1inline
begin() constapron::linexpr1inline
extend_environment(const environment &e)apron::linexpr1inline
get_ap_linexpr1_t() constapron::linexpr1inline
get_ap_linexpr1_t()apron::linexpr1inline
get_cst()apron::linexpr1inline
get_cst() constapron::linexpr1inline
get_discr() constapron::linexpr1inline
get_environment() constapron::linexpr1inline
get_linexpr0() constapron::linexpr1inline
get_linexpr0()apron::linexpr1inline
get_type() constapron::linexpr1inline
is_integer() constapron::linexpr1inline
is_linear() constapron::linexpr1inline
is_quasilinear() constapron::linexpr1inline
is_real() constapron::linexpr1inline
lapron::linexpr1protected
linexpr1(ap_linexpr1_t &p)apron::linexpr1inlineprotected
linexpr1(const environment &e, const linexpr0 &x)apron::linexpr1inline
linexpr1(const environment &e, ap_linexpr_discr_t lin_discr=AP_LINEXPR_SPARSE, size_t size=0)apron::linexpr1inline
linexpr1(const linexpr1 &x)apron::linexpr1inline
linexpr1(const linexpr1 &x, const environment &e)apron::linexpr1inline
minimize()apron::linexpr1inline
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 linexpr1 &s)apron::linexpr1friend
operator=(const linexpr1 &x)apron::linexpr1inline
operator[](const var &v)apron::linexpr1inline
operator[](const var &v) constapron::linexpr1inline
print(FILE *stream=stdout) constapron::linexpr1inline
size() constapron::linexpr1inline
~linexpr1()apron::linexpr1inline