apron::environment Member List

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

add(const std::vector< var > &intdim, const std::vector< var > &realdim) const	apron::environment	inline
add(const var *intdim, size_t intdim_size, const var *realdim, size_t realdim_size) const	apron::environment	inline
add(const std::vector< var > &intdim, const std::vector< var > &realdim, dimperm &perm) const	apron::environment	inline
add(const var *intdim, size_t intdim_size, const var *realdim, size_t realdim_size, dimperm &perm) const	apron::environment	inline
cmp	apron::environment	friend
contains(const var &x) const	apron::environment	inline
e	apron::environment	protected
environment(ap_environment_t *x)	apron::environment	inlineprotected
environment()	apron::environment	inline
environment(const std::vector< var > &intdim, const std::vector< var > &realdim)	apron::environment	inline
environment(const var *intdim, size_t intdim_size, const var *realdim, size_t realdim_size)	apron::environment	inline
environment(const environment &x)	apron::environment	inline
get_ap_environment_t() const	apron::environment	inline
get_ap_environment_t()	apron::environment	inline
get_dim(const var &x) const	apron::environment	inline
get_dimchange	apron::environment	friend
get_var(ap_dim_t d) const	apron::environment	inline
get_vars() const	apron::environment	inline
intdim() const	apron::environment	inline
lce	apron::environment	friend
lce	apron::environment	friend
lce	apron::environment	friend
lce	apron::environment	friend
lce	apron::environment	friend
lce	apron::environment	friend
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::environment	friend
operator<<	apron::environment	friend
operator<=	apron::environment	friend
operator=(const environment &x)	apron::environment	inline
operator==	apron::environment	friend
operator>=	apron::environment	friend
operator[](const var &x) const	apron::environment	inline
operator[](ap_dim_t d) const	apron::environment	inline
print(FILE *stream=stdout) const	apron::environment	inline
realdim() const	apron::environment	inline
remove(const std::vector< var > &dims) const	apron::environment	inline
remove(const var *dims, size_t dims_size) const	apron::environment	inline
rename(const std::vector< std::pair< var, var > > &dims) const	apron::environment	inline
rename(const var *before, const var *after, size_t dims_size) const	apron::environment	inline
rename(const std::vector< std::pair< var, var > > &dims, dimperm &perm) const	apron::environment	inline
rename(const var *before, const var *after, size_t dims_size, dimperm &perm) const	apron::environment	inline
~environment()	apron::environment	inline