APRONXX  0.9.12
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) constapron::environmentinline
add(const var *intdim, size_t intdim_size, const var *realdim, size_t realdim_size) constapron::environmentinline
add(const std::vector< var > &intdim, const std::vector< var > &realdim, dimperm &perm) constapron::environmentinline
add(const var *intdim, size_t intdim_size, const var *realdim, size_t realdim_size, dimperm &perm) constapron::environmentinline
cmp(const environment &x, const environment &y)apron::environmentfriend
contains(const var &x) constapron::environmentinline
eapron::environmentprotected
environment(ap_environment_t *x)apron::environmentinlineprotected
environment()apron::environmentinline
environment(const std::vector< var > &intdim, const std::vector< var > &realdim)apron::environmentinline
environment(const var *intdim, size_t intdim_size, const var *realdim, size_t realdim_size)apron::environmentinline
environment(const environment &x)apron::environmentinline
get_ap_environment_t() constapron::environmentinline
get_ap_environment_t()apron::environmentinline
get_dim(const var &x) constapron::environmentinline
get_dimchange(const environment &x, const environment &y)apron::environmentfriend
get_var(ap_dim_t d) constapron::environmentinline
get_vars() constapron::environmentinline
intdim() constapron::environmentinline
lce(const environment &x, const environment &y)apron::environmentfriend
lce(const environment &x, const environment &y, dimchange &chgx, dimchange &chgy)apron::environmentfriend
lce(const std::vector< environment > &x)apron::environmentfriend
lce(const environment *env, size_t env_size)apron::environmentfriend
lce(const std::vector< environment > &x, std::vector< dimchange > &chg)apron::environmentfriend
lce(const environment *env, dimchange *chg, size_t env_size)apron::environmentfriend
operator delete(void *p)apron::use_mallocinline
operator delete[](void *p)apron::use_mallocinline
operator new(size_t sz)apron::use_mallocinline
operator new[](size_t sz)apron::use_mallocinline
operator!=(const environment &x, const environment &y)apron::environmentfriend
operator<<(std::ostream &os, const environment &s)apron::environmentfriend
operator<=(const environment &x, const environment &y)apron::environmentfriend
operator=(const environment &x)apron::environmentinline
operator==(const environment &x, const environment &y)apron::environmentfriend
operator>=(const environment &x, const environment &y)apron::environmentfriend
operator[](const var &x) constapron::environmentinline
operator[](ap_dim_t d) constapron::environmentinline
print(FILE *stream=stdout) constapron::environmentinline
realdim() constapron::environmentinline
remove(const std::vector< var > &dims) constapron::environmentinline
remove(const var *dims, size_t dims_size) constapron::environmentinline
rename(const std::vector< std::pair< var, var > > &dims) constapron::environmentinline
rename(const var *before, const var *after, size_t dims_size) constapron::environmentinline
rename(const std::vector< std::pair< var, var > > &dims, dimperm &perm) constapron::environmentinline
rename(const var *before, const var *after, size_t dims_size, dimperm &perm) constapron::environmentinline
~environment()apron::environmentinline