apron::abstract1 Member List

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

a	apron::abstract1	protected
abstract1(ap_abstract1_t x)	apron::abstract1	inlineprotected
abstract1(manager &m, const environment &e, top x)	apron::abstract1	inline
abstract1(manager &m, const environment &e, bottom x)	apron::abstract1	inline
abstract1(manager &m, const abstract1 &t)	apron::abstract1	inline
abstract1(manager &m, const environment &e, const abstract0 &t)	apron::abstract1	inline
abstract1(manager &m, const environment &e, const var v[], const interval_array &x)	apron::abstract1	inline
abstract1(manager &m, const environment &e, const std::vector< var > &v, const interval_array &x)	apron::abstract1	inline
abstract1(manager &m, const lincons1_array &x)	apron::abstract1	inline
abstract1(manager &m, const tcons1_array &x)	apron::abstract1	inline
abstract1(const abstract1 &t)	apron::abstract1	inline
add_rays(manager &m, const generator1_array &y)	apron::abstract1	inline
add_rays(manager &m, abstract1 &dst, const abstract1 &x, const generator1_array &y)	apron::abstract1	friend
approximate(manager &m, int algorithm)	apron::abstract1	inline
assign(manager &m, const var &v, const linexpr1 &l, const abstract1 &inter=null)	apron::abstract1	inline
assign(manager &m, size_t size, const var v[], const linexpr1 *const l[], const abstract1 &inter=null)	apron::abstract1	inline
assign(manager &m, const std::vector< var > &v, const std::vector< const linexpr1 * > &l, const abstract1 &inter=null)	apron::abstract1	inline
assign(manager &m, abstract1 &dst, const abstract1 &src, const var &v, const linexpr1 &l, const abstract1 &inter)	apron::abstract1	friend
assign(manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var v[], const linexpr1 *const l[], const abstract1 &inter)	apron::abstract1	friend
assign(manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &v, const std::vector< const linexpr1 * > &l, const abstract1 &inter)	apron::abstract1	friend
assign(manager &m, const var &v, const texpr1 &l, const abstract1 &inter=null)	apron::abstract1	inline
assign(manager &m, size_t size, const var v[], const texpr1 *const l[], const abstract1 &inter=null)	apron::abstract1	inline
assign(manager &m, const std::vector< var > &v, const std::vector< const texpr1 * > &l, const abstract1 &inter=null)	apron::abstract1	inline
assign(manager &m, abstract1 &dst, const abstract1 &src, const var &v, const texpr1 &l, const abstract1 &inter)	apron::abstract1	friend
assign(manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var v[], const texpr1 *const l[], const abstract1 &inter)	apron::abstract1	friend
assign(manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &v, const std::vector< const texpr1 * > &l, const abstract1 &inter)	apron::abstract1	friend
bound(manager &m, const linexpr1 &l) const	apron::abstract1	inline
bound(manager &m, const texpr1 &l) const	apron::abstract1	inline
bound(manager &m, const var &v) const	apron::abstract1	inline
canonicalize(manager &m)	apron::abstract1	inline
change_environment(manager &m, const environment &e, bool project=false)	apron::abstract1	inline
change_environment(manager &m, abstract1 &dst, const abstract1 &src, const environment &e, bool project)	apron::abstract1	friend
closure(manager &m)	apron::abstract1	inline
closure(manager &m, abstract1 &dst, const abstract1 &src)	apron::abstract1	friend
deserialize(manager &m, abstract1 &dst, const std::string &s, size_t *eaten)	apron::abstract1	friend
dump(manager &m, FILE *stream=stdout) const	apron::abstract1	inline
expand(manager &m, const var &v, size_t size, const var vv[])	apron::abstract1	inline
expand(manager &m, const var &v, const std::vector< var > &vv)	apron::abstract1	inline
expand(manager &m, abstract1 &dst, const abstract1 &src, const var &v, size_t size, const var vv[])	apron::abstract1	friend
expand(manager &m, abstract1 &dst, const abstract1 &src, const var &v, const std::vector< var > &vv)	apron::abstract1	friend
fold(manager &m, size_t size, const var v[])	apron::abstract1	inline
fold(manager &m, const std::vector< var > &v)	apron::abstract1	inline
fold(manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var v[])	apron::abstract1	friend
fold(manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &v)	apron::abstract1	friend
forget(manager &m, const var &v, bool project=false)	apron::abstract1	inline
forget(manager &m, size_t size, const var v[], bool project=false)	apron::abstract1	inline
forget(manager &m, const std::vector< var > &v, bool project=false)	apron::abstract1	inline
forget(manager &m, abstract1 &dst, const abstract1 &src, const var &v, bool project)	apron::abstract1	friend
forget(manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var v[], bool project)	apron::abstract1	friend
forget(manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &v, bool project)	apron::abstract1	friend
free(manager &m)	apron::abstract1	inline
get_abstract0()	apron::abstract1	inline
get_abstract0() const	apron::abstract1	inline
get_ap_abstract1_t()	apron::abstract1	inline
get_ap_abstract1_t() const	apron::abstract1	inline
get_environment() const	apron::abstract1	inline
get_manager() const	apron::abstract1	inline
is_bottom(manager &m) const	apron::abstract1	inline
is_eq(manager &m, const abstract1 &x) const	apron::abstract1	inline
is_leq(manager &m, const abstract1 &x) const	apron::abstract1	inline
is_top(manager &m) const	apron::abstract1	inline
is_variable_unconstrained(manager &m, const var &v) const	apron::abstract1	inline
join(manager &m, const abstract1 &y)	apron::abstract1	inline
join(manager &m, abstract1 &dst, const abstract1 &x, const abstract1 &y)	apron::abstract1	friend
join(manager &m, abstract1 &dst, const std::vector< const abstract1 * > &x)	apron::abstract1	friend
join(manager &m, abstract1 &dst, size_t size, const abstract1 *const x[])	apron::abstract1	friend
meet(manager &m, const abstract1 &y)	apron::abstract1	inline
meet(manager &m, abstract1 &dst, const abstract1 &x, const abstract1 &y)	apron::abstract1	friend
meet(manager &m, abstract1 &dst, const std::vector< const abstract1 * > &x)	apron::abstract1	friend
meet(manager &m, abstract1 &dst, size_t size, const abstract1 *const x[])	apron::abstract1	friend
meet(manager &m, const lincons1_array &y)	apron::abstract1	inline
meet(manager &m, abstract1 &dst, const abstract1 &x, const lincons1_array &y)	apron::abstract1	friend
meet(manager &m, const tcons1_array &y)	apron::abstract1	inline
meet(manager &m, abstract1 &dst, const abstract1 &x, const tcons1_array &y)	apron::abstract1	friend
minimize(manager &m)	apron::abstract1	inline
minimize_environment(manager &m)	apron::abstract1	inline
minimize_environment(manager &m, abstract1 &dst, const abstract1 &src)	apron::abstract1	friend
null	apron::abstract1	protectedstatic
operator *=(const abstract1 &y)	apron::abstract1	inline
operator *=(const lincons1_array &y)	apron::abstract1	inline
operator *=(const tcons1_array &y)	apron::abstract1	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 abstract1 &x, const abstract1 &y)	apron::abstract1	friend
operator+=(const abstract1 &y)	apron::abstract1	inline
operator+=(const generator1_array &y)	apron::abstract1	inline
operator<(const abstract1 &x, const abstract1 &y)	apron::abstract1	friend
operator<<(std::ostream &os, const abstract1 &s)	apron::abstract1	friend
operator<=(const abstract1 &x, const abstract1 &y)	apron::abstract1	friend
operator=(const abstract1 &t)	apron::abstract1	inline
operator=(top t)	apron::abstract1	inline
operator=(bottom t)	apron::abstract1	inline
operator=(const interval_array &x)	apron::abstract1	inline
operator=(const lincons1_array &x)	apron::abstract1	inline
operator=(const tcons1_array &x)	apron::abstract1	inline
operator==(const abstract1 &x, const abstract1 &y)	apron::abstract1	friend
operator>(const abstract1 &x, const abstract1 &y)	apron::abstract1	friend
operator>=(const abstract1 &x, const abstract1 &y)	apron::abstract1	friend
print(manager &m, FILE *stream=stdout) const	apron::abstract1	inline
printdiff(manager &m, const abstract1 &x, const abstract1 &y, FILE *stream)	apron::abstract1	friend
rename(manager &m, size_t size, const var oldv[], const var newv[])	apron::abstract1	inline
rename(manager &m, const std::vector< var > &oldv, const std::vector< var > &newv)	apron::abstract1	inline
rename(manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var oldv[], const var newv[])	apron::abstract1	friend
rename(manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &oldv, const std::vector< var > &newv)	apron::abstract1	friend
sat(manager &m, const lincons1 &l) const	apron::abstract1	inline
sat(manager &m, const tcons1 &l) const	apron::abstract1	inline
sat(manager &m, const var &v, const interval &i) const	apron::abstract1	inline
serialize(manager &m) const	apron::abstract1	inline
set(manager &m, const abstract1 &x)	apron::abstract1	inline
set(manager &m, top t)	apron::abstract1	inline
set(manager &m, const environment &e, top t)	apron::abstract1	inline
set(manager &m, bottom t)	apron::abstract1	inline
set(manager &m, const environment &e, bottom t)	apron::abstract1	inline
set(manager &m, const interval_array &x)	apron::abstract1	inline
set(manager &m, const environment &e, const var v[], const interval_array &x)	apron::abstract1	inline
set(manager &m, const environment &e, const std::vector< var > &v, const interval_array &x)	apron::abstract1	inline
set(manager &m, const lincons1_array &x)	apron::abstract1	inline
set(manager &m, const tcons1_array &x)	apron::abstract1	inline
size(manager &m) const	apron::abstract1	inline
substitute(manager &m, const var &v, const linexpr1 &l, const abstract1 &inter=null)	apron::abstract1	inline
substitute(manager &m, size_t size, const var v[], const linexpr1 *const l[], const abstract1 &inter=null)	apron::abstract1	inline
substitute(manager &m, const std::vector< var > &v, const std::vector< const linexpr1 * > &l, const abstract1 &inter=null)	apron::abstract1	inline
substitute(manager &m, abstract1 &dst, const abstract1 &src, const var &v, const linexpr1 &l, const abstract1 &inter)	apron::abstract1	friend
substitute(manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var v[], const linexpr1 *const l[], const abstract1 &inter)	apron::abstract1	friend
substitute(manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &v, const std::vector< const linexpr1 * > &l, const abstract1 &inter)	apron::abstract1	friend
substitute(manager &m, const var &v, const texpr1 &l, const abstract1 &inter=null)	apron::abstract1	inline
substitute(manager &m, size_t size, const var v[], const texpr1 *const l[], const abstract1 &inter=null)	apron::abstract1	inline
substitute(manager &m, const std::vector< var > &v, const std::vector< const texpr1 * > &l, const abstract1 &inter=null)	apron::abstract1	inline
substitute(manager &m, abstract1 &dst, const abstract1 &src, const var &v, const texpr1 &l, const abstract1 &inter)	apron::abstract1	friend
substitute(manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var v[], const texpr1 *const l[], const abstract1 &inter)	apron::abstract1	friend
substitute(manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &v, const std::vector< const texpr1 * > &l, const abstract1 &inter)	apron::abstract1	friend
to_box(manager &m) const	apron::abstract1	inline
to_generator_array(manager &m) const	apron::abstract1	inline
to_lincons_array(manager &m) const	apron::abstract1	inline
to_tcons_array(manager &m) const	apron::abstract1	inline
unify(manager &m, const abstract1 &y)	apron::abstract1	inline
unify(manager &m, abstract1 &dst, const abstract1 &x, const abstract1 &y)	apron::abstract1	friend
widening(manager &m, abstract1 &dst, const abstract1 &x, const abstract1 &y)	apron::abstract1	friend
widening(manager &m, abstract1 &dst, const abstract1 &x, const abstract1 &y, const lincons1_array &l)	apron::abstract1	friend
~abstract1()	apron::abstract1	inline