APRONXX
0.9.12
apron
tcons0
apron::tcons0 Member List
This is the complete list of members for
apron::tcons0
, including all inherited members.
add_dimensions
(const dimchange &d)
apron::tcons0
inline
get_ap_tcons0_t
() const
apron::tcons0
inline
get_ap_tcons0_t
()
apron::tcons0
inline
get_constyp
()
apron::tcons0
inline
get_constyp
() const
apron::tcons0
inline
get_modulo
()
apron::tcons0
inline
get_modulo
() const
apron::tcons0
inline
get_texpr
()
apron::tcons0
inline
get_texpr
() const
apron::tcons0
inline
has_modulo
() const
apron::tcons0
inline
has_texpr
() const
apron::tcons0
inline
is_interval_cst
() const
apron::tcons0
inline
is_interval_linear
() const
apron::tcons0
inline
is_interval_polyfrac
() const
apron::tcons0
inline
is_interval_polynomial
() const
apron::tcons0
inline
is_scalar
() const
apron::tcons0
inline
l
apron::tcons0
protected
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!=
apron::tcons0
friend
operator<
apron::tcons0
friend
operator<<
apron::tcons0
friend
operator<=
apron::tcons0
friend
operator=
(const tcons0 &x)
apron::tcons0
inline
operator=
(unsat x)
apron::tcons0
inline
operator=
(const lincons0 &x)
apron::tcons0
inline
operator==
apron::tcons0
friend
operator>
apron::tcons0
friend
operator>=
apron::tcons0
friend
permute_dimensions
(const dimperm &d)
apron::tcons0
inline
print
(char **name_of_dim=NULL, FILE *stream=stdout) const
apron::tcons0
inline
remove_dimensions
(const dimchange &d)
apron::tcons0
inline
set_modulo
(const scalar &c)
apron::tcons0
inline
set_texpr
(const texpr0::builder &c)
apron::tcons0
inline
tcons0
(ap_tcons0_t &l)
apron::tcons0
inline
protected
tcons0
(ap_constyp_t constyp=AP_CONS_SUPEQ)
apron::tcons0
inline
tcons0
(ap_constyp_t constyp, const texpr0::builder &t)
apron::tcons0
inline
tcons0
(ap_constyp_t constyp, const texpr0::builder &t, const scalar &modulo)
apron::tcons0
inline
tcons0
(const tcons0 &x)
apron::tcons0
inline
tcons0
(const tcons0 &x, const dimchange &d, bool add=true)
apron::tcons0
inline
tcons0
(const tcons0 &x, const dimperm &d)
apron::tcons0
inline
tcons0
(unsat x)
apron::tcons0
inline
tcons0
(const lincons0 &x)
apron::tcons0
inline
~tcons0
()
apron::tcons0
inline
Generated on Wed Jul 20 2022 00:00:00 for APRONXX by
1.9.4