apron::abstract0 Member List

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

a	apron::abstract0	protected
abstract0(ap_abstract0_t *x)	apron::abstract0	inlineprotected
abstract0(manager &m, size_t intdim, size_t realdim, top x)	apron::abstract0	inline
abstract0(manager &m, size_t intdim, size_t realdim, bottom x)	apron::abstract0	inline
abstract0(manager &m, const abstract0 &t)	apron::abstract0	inline
abstract0(manager &m, size_t intdim, size_t realdim, const interval_array &x)	apron::abstract0	inline
abstract0(manager &m, size_t intdim, size_t realdim, const lincons0_array &x)	apron::abstract0	inline
abstract0(manager &m, size_t intdim, size_t realdim, const tcons0_array &x)	apron::abstract0	inline
abstract0(const abstract0 &t)	apron::abstract0	inline
add_dimensions(manager &m, const dimchange &d, bool project=false)	apron::abstract0	inline
add_dimensions(manager &m, abstract0 &dst, const abstract0 &src, const dimchange &d, bool project)	apron::abstract0	friend
add_rays(manager &m, const generator0_array &y)	apron::abstract0	inline
add_rays(manager &m, abstract0 &dst, const abstract0 &x, const generator0_array &y)	apron::abstract0	friend
approximate(manager &m, int algorithm)	apron::abstract0	inline
assign(manager &m, ap_dim_t dim, const linexpr0 &l, const abstract0 &inter=null)	apron::abstract0	inline
assign(manager &m, size_t size, const ap_dim_t dim[], const linexpr0 *const l[], const abstract0 &inter=null)	apron::abstract0	inline
assign(manager &m, const std::vector< ap_dim_t > &dim, const std::vector< const linexpr0 * > &l, const abstract0 &inter=null)	apron::abstract0	inline
assign(manager &m, abstract0 &dst, const abstract0 &src, ap_dim_t dim, const linexpr0 &l, const abstract0 &inter)	apron::abstract0	friend
assign(manager &m, abstract0 &dst, const abstract0 &src, size_t size, const ap_dim_t dim[], const linexpr0 *const l[], const abstract0 &inter)	apron::abstract0	friend
assign(manager &m, abstract0 &dst, const abstract0 &src, const std::vector< ap_dim_t > &dim, const std::vector< const linexpr0 * > &l, const abstract0 &inter)	apron::abstract0	friend
assign(manager &m, ap_dim_t dim, const texpr0 &l, const abstract0 &inter=null)	apron::abstract0	inline
assign(manager &m, size_t size, const ap_dim_t dim[], const texpr0 *const l[], const abstract0 &inter=null)	apron::abstract0	inline
assign(manager &m, const std::vector< ap_dim_t > &dim, const std::vector< const texpr0 * > &l, const abstract0 &inter=null)	apron::abstract0	inline
assign(manager &m, abstract0 &dst, const abstract0 &src, ap_dim_t dim, const texpr0 &l, const abstract0 &inter)	apron::abstract0	friend
assign(manager &m, abstract0 &dst, const abstract0 &src, size_t size, const ap_dim_t dim[], const texpr0 *const l[], const abstract0 &inter)	apron::abstract0	friend
assign(manager &m, abstract0 &dst, const abstract0 &src, const std::vector< ap_dim_t > &dim, const std::vector< const texpr0 * > &l, const abstract0 &inter)	apron::abstract0	friend
bound(manager &m, const linexpr0 &l) const	apron::abstract0	inline
bound(manager &m, const texpr0 &l) const	apron::abstract0	inline
bound(manager &m, ap_dim_t d) const	apron::abstract0	inline
canonicalize(manager &m)	apron::abstract0	inline
closure(manager &m)	apron::abstract0	inline
closure(manager &m, abstract0 &dst, const abstract0 &src)	apron::abstract0	friend
deserialize(manager &m, abstract0 &dst, const std::string &s, size_t *eaten)	apron::abstract0	friend
dump(manager &m, FILE *stream=stdout) const	apron::abstract0	inline
expand(manager &m, ap_dim_t dim, size_t n=1)	apron::abstract0	inline
expand(manager &m, abstract0 &dst, const abstract0 &src, ap_dim_t dim, size_t n)	apron::abstract0	friend
fold(manager &m, size_t size, const ap_dim_t dim[])	apron::abstract0	inline
fold(manager &m, const std::vector< ap_dim_t > &dim)	apron::abstract0	inline
fold(manager &m, abstract0 &dst, const abstract0 &src, size_t size, const ap_dim_t dim[])	apron::abstract0	friend
fold(manager &m, abstract0 &dst, const abstract0 &src, const std::vector< ap_dim_t > &dim)	apron::abstract0	friend
forget(manager &m, ap_dim_t dim, bool project=false)	apron::abstract0	inline
forget(manager &m, size_t size, const ap_dim_t dim[], bool project=false)	apron::abstract0	inline
forget(manager &m, const std::vector< ap_dim_t > dim, bool project=false)	apron::abstract0	inline
forget(manager &m, abstract0 &dst, const abstract0 &src, ap_dim_t dim, bool project)	apron::abstract0	friend
forget(manager &m, abstract0 &dst, const abstract0 &src, size_t size, const ap_dim_t dim[], bool project)	apron::abstract0	friend
forget(manager &m, abstract0 &dst, const abstract0 &src, const std::vector< ap_dim_t > dim, bool project)	apron::abstract0	friend
free(manager &m)	apron::abstract0	inline
get_ap_abstract0_t()	apron::abstract0	inline
get_ap_abstract0_t() const	apron::abstract0	inline
get_dimension(manager &m) const	apron::abstract0	inline
get_manager() const	apron::abstract0	inline
is_bottom(manager &m) const	apron::abstract0	inline
is_dimension_unconstrained(manager &m, ap_dim_t dim) const	apron::abstract0	inline
is_eq(manager &m, const abstract0 &x) const	apron::abstract0	inline
is_leq(manager &m, const abstract0 &x) const	apron::abstract0	inline
is_top(manager &m) const	apron::abstract0	inline
join(manager &m, const abstract0 &y)	apron::abstract0	inline
join(manager &m, abstract0 &dst, const abstract0 &x, const abstract0 &y)	apron::abstract0	friend
join(manager &m, abstract0 &dst, const std::vector< const abstract0 * > &x)	apron::abstract0	friend
join(manager &m, abstract0 &dst, size_t size, const abstract0 *const x[])	apron::abstract0	friend
meet(manager &m, const abstract0 &y)	apron::abstract0	inline
meet(manager &m, abstract0 &dst, const abstract0 &x, const abstract0 &y)	apron::abstract0	friend
meet(manager &m, abstract0 &dst, const std::vector< const abstract0 * > &x)	apron::abstract0	friend
meet(manager &m, abstract0 &dst, size_t size, const abstract0 *const x[])	apron::abstract0	friend
meet(manager &m, const lincons0_array &y)	apron::abstract0	inline
meet(manager &m, abstract0 &dst, const abstract0 &x, const lincons0_array &y)	apron::abstract0	friend
meet(manager &m, const tcons0_array &y)	apron::abstract0	inline
meet(manager &m, abstract0 &dst, const abstract0 &x, const tcons0_array &y)	apron::abstract0	friend
minimize(manager &m)	apron::abstract0	inline
null	apron::abstract0	protectedstatic
operator *=(const abstract0 &y)	apron::abstract0	inline
operator *=(const lincons0_array &y)	apron::abstract0	inline
operator *=(const tcons0_array &y)	apron::abstract0	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!=(const abstract0 &x, const abstract0 &y)	apron::abstract0	friend
operator+=(const abstract0 &y)	apron::abstract0	inline
operator+=(const generator0_array &y)	apron::abstract0	inline
operator<(const abstract0 &x, const abstract0 &y)	apron::abstract0	friend
operator<<(std::ostream &os, const abstract0 &s)	apron::abstract0	friend
operator<=(const abstract0 &x, const abstract0 &y)	apron::abstract0	friend
operator=(const abstract0 &t)	apron::abstract0	inline
operator=(top t)	apron::abstract0	inline
operator=(bottom t)	apron::abstract0	inline
operator=(const interval_array &x)	apron::abstract0	inline
operator=(const lincons0_array &x)	apron::abstract0	inline
operator=(const tcons0_array &x)	apron::abstract0	inline
operator==(const abstract0 &x, const abstract0 &y)	apron::abstract0	friend
operator>(const abstract0 &x, const abstract0 &y)	apron::abstract0	friend
operator>=(const abstract0 &x, const abstract0 &y)	apron::abstract0	friend
permute_dimensions(manager &m, const dimperm &d)	apron::abstract0	inline
permute_dimensions(manager &m, abstract0 &dst, const abstract0 &src, const dimperm &d)	apron::abstract0	friend
print(manager &m, char **name_of_dim=NULL, FILE *stream=stdout) const	apron::abstract0	inline
printdiff(manager &m, const abstract0 &x, const abstract0 &y, char **name_of_dim, FILE *stream)	apron::abstract0	friend
remove_dimensions(manager &m, const dimchange &d)	apron::abstract0	inline
remove_dimensions(manager &m, abstract0 &dst, const abstract0 &src, const dimchange &d)	apron::abstract0	friend
sat(manager &m, const lincons0 &l) const	apron::abstract0	inline
sat(manager &m, const tcons0 &l) const	apron::abstract0	inline
sat(manager &m, ap_dim_t dim, const interval &i) const	apron::abstract0	inline
serialize(manager &m) const	apron::abstract0	inline
set(manager &m, const abstract0 &x)	apron::abstract0	inline
set(manager &m, top t, size_t intdim=AP_DIM_MAX, size_t realdim=AP_DIM_MAX)	apron::abstract0	inline
set(manager &m, bottom t, size_t intdim=AP_DIM_MAX, size_t realdim=AP_DIM_MAX)	apron::abstract0	inline
set(manager &m, const interval_array &x, size_t intdim=AP_DIM_MAX, size_t realdim=AP_DIM_MAX)	apron::abstract0	inline
set(manager &m, const lincons0_array &x, size_t intdim=AP_DIM_MAX, size_t realdim=AP_DIM_MAX)	apron::abstract0	inline
set(manager &m, const tcons0_array &x, size_t intdim=AP_DIM_MAX, size_t realdim=AP_DIM_MAX)	apron::abstract0	inline
size(manager &m) const	apron::abstract0	inline
substitute(manager &m, ap_dim_t dim, const linexpr0 &l, const abstract0 &inter=null)	apron::abstract0	inline
substitute(manager &m, size_t size, const ap_dim_t dim[], const linexpr0 *const l[], const abstract0 &inter=null)	apron::abstract0	inline
substitute(manager &m, const std::vector< ap_dim_t > &dim, const std::vector< const linexpr0 * > &l, const abstract0 &inter=null)	apron::abstract0	inline
substitute(manager &m, abstract0 &dst, const abstract0 &src, ap_dim_t dim, const linexpr0 &l, const abstract0 &inter)	apron::abstract0	friend
substitute(manager &m, abstract0 &dst, const abstract0 &src, size_t size, const ap_dim_t dim[], const linexpr0 *const l[], const abstract0 &inter)	apron::abstract0	friend
substitute(manager &m, abstract0 &dst, const abstract0 &src, const std::vector< ap_dim_t > &dim, const std::vector< const linexpr0 * > &l, const abstract0 &inter)	apron::abstract0	friend
substitute(manager &m, ap_dim_t dim, const texpr0 &l, const abstract0 &inter=null)	apron::abstract0	inline
substitute(manager &m, size_t size, const ap_dim_t dim[], const texpr0 *const l[], const abstract0 &inter=null)	apron::abstract0	inline
substitute(manager &m, const std::vector< ap_dim_t > &dim, const std::vector< const texpr0 * > &l, const abstract0 &inter=null)	apron::abstract0	inline
substitute(manager &m, abstract0 &dst, const abstract0 &src, ap_dim_t dim, const texpr0 &l, const abstract0 &inter)	apron::abstract0	friend
substitute(manager &m, abstract0 &dst, const abstract0 &src, size_t size, const ap_dim_t dim[], const texpr0 *const l[], const abstract0 &inter)	apron::abstract0	friend
substitute(manager &m, abstract0 &dst, const abstract0 &src, const std::vector< ap_dim_t > &dim, const std::vector< const texpr0 * > &l, const abstract0 &inter)	apron::abstract0	friend
to_box(manager &m) const	apron::abstract0	inline
to_generator_array(manager &m) const	apron::abstract0	inline
to_lincons_array(manager &m) const	apron::abstract0	inline
to_tcons_array(manager &m) const	apron::abstract0	inline
widening(manager &m, abstract0 &dst, const abstract0 &x, const abstract0 &y)	apron::abstract0	friend
widening(manager &m, abstract0 &dst, const abstract0 &x, const abstract0 &y, const lincons0_array &l)	apron::abstract0	friend
~abstract0()	apron::abstract0	inline