APRONXX 0.9.14
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
cmpapron::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_dimchangeapron::environmentfriend
get_var(ap_dim_t d) constapron::environmentinline
get_vars() constapron::environmentinline
intdim() constapron::environmentinline
lceapron::environmentfriend
lceapron::environmentfriend
lceapron::environmentfriend
lceapron::environmentfriend
lceapron::environmentfriend
lceapron::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!=apron::environmentfriend
operator<<apron::environmentfriend
operator<=apron::environmentfriend
operator=(const environment &x)apron::environmentinline
operator==apron::environmentfriend
operator>=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