apron::lincons0 Member List

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

add_dimensions(const dimchange &d)	apron::lincons0	inline
get_ap_lincons0_t() const	apron::lincons0	inline
get_ap_lincons0_t()	apron::lincons0	inline
get_constyp()	apron::lincons0	inline
get_constyp() const	apron::lincons0	inline
get_cst()	apron::lincons0	inline
get_cst() const	apron::lincons0	inline
get_linexpr()	apron::lincons0	inline
get_linexpr() const	apron::lincons0	inline
get_modulo()	apron::lincons0	inline
get_modulo() const	apron::lincons0	inline
has_linexpr() const	apron::lincons0	inline
has_modulo() const	apron::lincons0	inline
is_linear() const	apron::lincons0	inline
is_quasilinear() const	apron::lincons0	inline
is_unsat() const	apron::lincons0	inline
l	apron::lincons0	protected
lincons0(ap_lincons0_t l)	apron::lincons0	inlineprotected
lincons0(ap_constyp_t constyp=AP_CONS_SUPEQ)	apron::lincons0	inline
lincons0(ap_constyp_t constyp, const linexpr0 &lin)	apron::lincons0	inline
lincons0(ap_constyp_t constyp, const linexpr0 &lin, const scalar &modulo)	apron::lincons0	inline
lincons0(const lincons0 &x)	apron::lincons0	inline
lincons0(const lincons0 &x, const dimchange &d)	apron::lincons0	inline
lincons0(const lincons0 &x, const dimperm &d)	apron::lincons0	inline
lincons0(unsat x)	apron::lincons0	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 lincons0 &s)	apron::lincons0	friend
operator=(const lincons0 &x)	apron::lincons0	inline
operator=(unsat x)	apron::lincons0	inline
operator[](ap_dim_t dim)	apron::lincons0	inline
operator[](ap_dim_t dim) const	apron::lincons0	inline
permute_dimensions(const dimperm &d)	apron::lincons0	inline
print(char **name_of_dim=NULL, FILE *stream=stdout) const	apron::lincons0	inline
resize(size_t size)	apron::lincons0	inline
set_linexpr(const linexpr0 &c)	apron::lincons0	inline
set_modulo(const scalar &c)	apron::lincons0	inline
size() const	apron::lincons0	inline
~lincons0()	apron::lincons0	inline