|
APRONXX 0.9.15
|
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 |