APRONXX
0.9.12
apron
linexpr1
apron::linexpr1 Member List
This is the complete list of members for
apron::linexpr1
, including all inherited members.
begin
()
apron::linexpr1
inline
begin
() const
apron::linexpr1
inline
extend_environment
(const environment &e)
apron::linexpr1
inline
get_ap_linexpr1_t
() const
apron::linexpr1
inline
get_ap_linexpr1_t
()
apron::linexpr1
inline
get_cst
()
apron::linexpr1
inline
get_cst
() const
apron::linexpr1
inline
get_discr
() const
apron::linexpr1
inline
get_environment
() const
apron::linexpr1
inline
get_linexpr0
() const
apron::linexpr1
inline
get_linexpr0
()
apron::linexpr1
inline
get_type
() const
apron::linexpr1
inline
is_integer
() const
apron::linexpr1
inline
is_linear
() const
apron::linexpr1
inline
is_quasilinear
() const
apron::linexpr1
inline
is_real
() const
apron::linexpr1
inline
l
apron::linexpr1
protected
linexpr1
(ap_linexpr1_t &p)
apron::linexpr1
inline
protected
linexpr1
(const environment &e, const linexpr0 &x)
apron::linexpr1
inline
linexpr1
(const environment &e, ap_linexpr_discr_t lin_discr=AP_LINEXPR_SPARSE, size_t size=0)
apron::linexpr1
inline
linexpr1
(const linexpr1 &x)
apron::linexpr1
inline
linexpr1
(const linexpr1 &x, const environment &e)
apron::linexpr1
inline
minimize
()
apron::linexpr1
inline
operator delete
(void *p)
apron::use_malloc
inline
operator delete[]
(void *p)
apron::use_malloc
inline
operator new
(size_t sz)
apron::use_malloc
inline
operator new[]
(size_t sz)
apron::use_malloc
inline
operator<<
(std::ostream &os, const linexpr1 &s)
apron::linexpr1
friend
operator=
(const linexpr1 &x)
apron::linexpr1
inline
operator[]
(const var &v)
apron::linexpr1
inline
operator[]
(const var &v) const
apron::linexpr1
inline
print
(FILE *stream=stdout) const
apron::linexpr1
inline
size
() const
apron::linexpr1
inline
~linexpr1
()
apron::linexpr1
inline
Generated on Sun Nov 10 2019 10:49:09 for APRONXX by
1.8.15