APRONXX
0.9.12
|
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(const environment &x, const environment &y) | 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(const environment &x, const environment &y) | 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(const environment &x, const environment &y) | apron::environment | friend |
lce(const environment &x, const environment &y, dimchange &chgx, dimchange &chgy) | apron::environment | friend |
lce(const std::vector< environment > &x) | apron::environment | friend |
lce(const environment *env, size_t env_size) | apron::environment | friend |
lce(const std::vector< environment > &x, std::vector< dimchange > &chg) | apron::environment | friend |
lce(const environment *env, dimchange *chg, size_t env_size) | 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!=(const environment &x, const environment &y) | apron::environment | friend |
operator<<(std::ostream &os, const environment &s) | apron::environment | friend |
operator<=(const environment &x, const environment &y) | apron::environment | friend |
operator=(const environment &x) | apron::environment | inline |
operator==(const environment &x, const environment &y) | apron::environment | friend |
operator>=(const environment &x, const environment &y) | 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 |