apron::abstract1 Member List
This is the complete list of members for apron::abstract1, including all inherited members.
| a | apron::abstract1 | protected |
| abstract1(ap_abstract1_t x) | apron::abstract1 | inlineprotected |
| abstract1(manager &m, const environment &e, top x) | apron::abstract1 | inline |
| abstract1(manager &m, const environment &e, bottom x) | apron::abstract1 | inline |
| abstract1(manager &m, const abstract1 &t) | apron::abstract1 | inline |
| abstract1(manager &m, const environment &e, const abstract0 &t) | apron::abstract1 | inline |
| abstract1(manager &m, const environment &e, const var v[], const interval_array &x) | apron::abstract1 | inline |
| abstract1(manager &m, const environment &e, const std::vector< var > &v, const interval_array &x) | apron::abstract1 | inline |
| abstract1(manager &m, const lincons1_array &x) | apron::abstract1 | inline |
| abstract1(manager &m, const tcons1_array &x) | apron::abstract1 | inline |
| abstract1(const abstract1 &t) | apron::abstract1 | inline |
| add_rays(manager &m, const generator1_array &y) | apron::abstract1 | inline |
| add_rays(manager &m, abstract1 &dst, const abstract1 &x, const generator1_array &y) | apron::abstract1 | friend |
| approximate(manager &m, int algorithm) | apron::abstract1 | inline |
| assign(manager &m, const var &v, const linexpr1 &l, const abstract1 &inter=null) | apron::abstract1 | inline |
| assign(manager &m, size_t size, const var v[], const linexpr1 *const l[], const abstract1 &inter=null) | apron::abstract1 | inline |
| assign(manager &m, const std::vector< var > &v, const std::vector< const linexpr1 * > &l, const abstract1 &inter=null) | apron::abstract1 | inline |
| assign(manager &m, abstract1 &dst, const abstract1 &src, const var &v, const linexpr1 &l, const abstract1 &inter=abstract1::null) | apron::abstract1 | friend |
| assign(manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var v[], const linexpr1 *const l[], const abstract1 &inter=abstract1::null) | apron::abstract1 | friend |
| assign(manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &v, const std::vector< const linexpr1 * > &l, const abstract1 &inter=abstract1::null) | apron::abstract1 | friend |
| assign(manager &m, const var &v, const texpr1 &l, const abstract1 &inter=null) | apron::abstract1 | inline |
| assign(manager &m, size_t size, const var v[], const texpr1 *const l[], const abstract1 &inter=null) | apron::abstract1 | inline |
| assign(manager &m, const std::vector< var > &v, const std::vector< const texpr1 * > &l, const abstract1 &inter=null) | apron::abstract1 | inline |
| assign(manager &m, abstract1 &dst, const abstract1 &src, const var &v, const texpr1 &l, const abstract1 &inter=abstract1::null) | apron::abstract1 | friend |
| assign(manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var v[], const texpr1 *const l[], const abstract1 &inter=abstract1::null) | apron::abstract1 | friend |
| assign(manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &v, const std::vector< const texpr1 * > &l, const abstract1 &inter=abstract1::null) | apron::abstract1 | friend |
| bound(manager &m, const linexpr1 &l) const | apron::abstract1 | inline |
| bound(manager &m, const texpr1 &l) const | apron::abstract1 | inline |
| bound(manager &m, const var &v) const | apron::abstract1 | inline |
| canonicalize(manager &m) | apron::abstract1 | inline |
| change_environment(manager &m, const environment &e, bool project=false) | apron::abstract1 | inline |
| change_environment(manager &m, abstract1 &dst, const abstract1 &src, const environment &e, bool project=false) | apron::abstract1 | friend |
| closure(manager &m) | apron::abstract1 | inline |
| closure(manager &m, abstract1 &dst, const abstract1 &src) | apron::abstract1 | friend |
| deserialize(manager &m, abstract1 &dst, const std::string &s, size_t *eaten=NULL) | apron::abstract1 | friend |
| dump(manager &m, FILE *stream=stdout) const | apron::abstract1 | inline |
| expand(manager &m, const var &v, size_t size, const var vv[]) | apron::abstract1 | inline |
| expand(manager &m, const var &v, const std::vector< var > &vv) | apron::abstract1 | inline |
| expand(manager &m, abstract1 &dst, const abstract1 &src, const var &v, size_t size, const var vv[]) | apron::abstract1 | friend |
| expand(manager &m, abstract1 &dst, const abstract1 &src, const var &v, const std::vector< var > &vv) | apron::abstract1 | friend |
| fold(manager &m, size_t size, const var v[]) | apron::abstract1 | inline |
| fold(manager &m, const std::vector< var > &v) | apron::abstract1 | inline |
| fold(manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var v[]) | apron::abstract1 | friend |
| fold(manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &v) | apron::abstract1 | friend |
| forget(manager &m, const var &v, bool project=false) | apron::abstract1 | inline |
| forget(manager &m, size_t size, const var v[], bool project=false) | apron::abstract1 | inline |
| forget(manager &m, const std::vector< var > &v, bool project=false) | apron::abstract1 | inline |
| forget(manager &m, abstract1 &dst, const abstract1 &src, const var &v, bool project=false) | apron::abstract1 | friend |
| forget(manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var v[], bool project=false) | apron::abstract1 | friend |
| forget(manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &v, bool project=false) | apron::abstract1 | friend |
| free(manager &m) | apron::abstract1 | inline |
| get_abstract0() | apron::abstract1 | inline |
| get_abstract0() const | apron::abstract1 | inline |
| get_ap_abstract1_t() | apron::abstract1 | inline |
| get_ap_abstract1_t() const | apron::abstract1 | inline |
| get_environment() const | apron::abstract1 | inline |
| get_manager() const | apron::abstract1 | inline |
| is_bottom(manager &m) const | apron::abstract1 | inline |
| is_eq(manager &m, const abstract1 &x) const | apron::abstract1 | inline |
| is_leq(manager &m, const abstract1 &x) const | apron::abstract1 | inline |
| is_top(manager &m) const | apron::abstract1 | inline |
| is_variable_unconstrained(manager &m, const var &v) const | apron::abstract1 | inline |
| join(manager &m, const abstract1 &y) | apron::abstract1 | inline |
| join(manager &m, abstract1 &dst, const abstract1 &x, const abstract1 &y) | apron::abstract1 | friend |
| join(manager &m, abstract1 &dst, const std::vector< const abstract1 * > &x) | apron::abstract1 | friend |
| join(manager &m, abstract1 &dst, size_t size, const abstract1 *const x[]) | apron::abstract1 | friend |
| meet(manager &m, const abstract1 &y) | apron::abstract1 | inline |
| meet(manager &m, abstract1 &dst, const abstract1 &x, const abstract1 &y) | apron::abstract1 | friend |
| meet(manager &m, abstract1 &dst, const std::vector< const abstract1 * > &x) | apron::abstract1 | friend |
| meet(manager &m, abstract1 &dst, size_t size, const abstract1 *const x[]) | apron::abstract1 | friend |
| meet(manager &m, const lincons1_array &y) | apron::abstract1 | inline |
| meet(manager &m, abstract1 &dst, const abstract1 &x, const lincons1_array &y) | apron::abstract1 | friend |
| meet(manager &m, const tcons1_array &y) | apron::abstract1 | inline |
| meet(manager &m, abstract1 &dst, const abstract1 &x, const tcons1_array &y) | apron::abstract1 | friend |
| minimize(manager &m) | apron::abstract1 | inline |
| minimize_environment(manager &m) | apron::abstract1 | inline |
| minimize_environment(manager &m, abstract1 &dst, const abstract1 &src) | apron::abstract1 | friend |
| null | apron::abstract1 | protectedstatic |
| 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 abstract1 &x, const abstract1 &y) | apron::abstract1 | friend |
| operator*=(const abstract1 &y) | apron::abstract1 | inline |
| operator*=(const lincons1_array &y) | apron::abstract1 | inline |
| operator*=(const tcons1_array &y) | apron::abstract1 | inline |
| operator+=(const abstract1 &y) | apron::abstract1 | inline |
| operator+=(const generator1_array &y) | apron::abstract1 | inline |
| operator<(const abstract1 &x, const abstract1 &y) | apron::abstract1 | friend |
| operator<<(std::ostream &os, const abstract1 &s) | apron::abstract1 | friend |
| operator<=(const abstract1 &x, const abstract1 &y) | apron::abstract1 | friend |
| operator=(const abstract1 &t) | apron::abstract1 | inline |
| operator=(top t) | apron::abstract1 | inline |
| operator=(bottom t) | apron::abstract1 | inline |
| operator=(const interval_array &x) | apron::abstract1 | inline |
| operator=(const lincons1_array &x) | apron::abstract1 | inline |
| operator=(const tcons1_array &x) | apron::abstract1 | inline |
| operator==(const abstract1 &x, const abstract1 &y) | apron::abstract1 | friend |
| operator>(const abstract1 &x, const abstract1 &y) | apron::abstract1 | friend |
| operator>=(const abstract1 &x, const abstract1 &y) | apron::abstract1 | friend |
| print(manager &m, FILE *stream=stdout) const | apron::abstract1 | inline |
| printdiff(manager &m, const abstract1 &x, const abstract1 &y, FILE *stream=stdout) | apron::abstract1 | friend |
| rename(manager &m, size_t size, const var oldv[], const var newv[]) | apron::abstract1 | inline |
| rename(manager &m, const std::vector< var > &oldv, const std::vector< var > &newv) | apron::abstract1 | inline |
| rename(manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var oldv[], const var newv[]) | apron::abstract1 | friend |
| rename(manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &oldv, const std::vector< var > &newv) | apron::abstract1 | friend |
| sat(manager &m, const lincons1 &l) const | apron::abstract1 | inline |
| sat(manager &m, const tcons1 &l) const | apron::abstract1 | inline |
| sat(manager &m, const var &v, const interval &i) const | apron::abstract1 | inline |
| serialize(manager &m) const | apron::abstract1 | inline |
| set(manager &m, const abstract1 &x) | apron::abstract1 | inline |
| set(manager &m, top t) | apron::abstract1 | inline |
| set(manager &m, const environment &e, top t) | apron::abstract1 | inline |
| set(manager &m, bottom t) | apron::abstract1 | inline |
| set(manager &m, const environment &e, bottom t) | apron::abstract1 | inline |
| set(manager &m, const interval_array &x) | apron::abstract1 | inline |
| set(manager &m, const environment &e, const var v[], const interval_array &x) | apron::abstract1 | inline |
| set(manager &m, const environment &e, const std::vector< var > &v, const interval_array &x) | apron::abstract1 | inline |
| set(manager &m, const lincons1_array &x) | apron::abstract1 | inline |
| set(manager &m, const tcons1_array &x) | apron::abstract1 | inline |
| size(manager &m) const | apron::abstract1 | inline |
| substitute(manager &m, const var &v, const linexpr1 &l, const abstract1 &inter=null) | apron::abstract1 | inline |
| substitute(manager &m, size_t size, const var v[], const linexpr1 *const l[], const abstract1 &inter=null) | apron::abstract1 | inline |
| substitute(manager &m, const std::vector< var > &v, const std::vector< const linexpr1 * > &l, const abstract1 &inter=null) | apron::abstract1 | inline |
| substitute(manager &m, abstract1 &dst, const abstract1 &src, const var &v, const linexpr1 &l, const abstract1 &inter=abstract1::null) | apron::abstract1 | friend |
| substitute(manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var v[], const linexpr1 *const l[], const abstract1 &inter=abstract1::null) | apron::abstract1 | friend |
| substitute(manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &v, const std::vector< const linexpr1 * > &l, const abstract1 &inter=abstract1::null) | apron::abstract1 | friend |
| substitute(manager &m, const var &v, const texpr1 &l, const abstract1 &inter=null) | apron::abstract1 | inline |
| substitute(manager &m, size_t size, const var v[], const texpr1 *const l[], const abstract1 &inter=null) | apron::abstract1 | inline |
| substitute(manager &m, const std::vector< var > &v, const std::vector< const texpr1 * > &l, const abstract1 &inter=null) | apron::abstract1 | inline |
| substitute(manager &m, abstract1 &dst, const abstract1 &src, const var &v, const texpr1 &l, const abstract1 &inter=abstract1::null) | apron::abstract1 | friend |
| substitute(manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var v[], const texpr1 *const l[], const abstract1 &inter=abstract1::null) | apron::abstract1 | friend |
| substitute(manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &v, const std::vector< const texpr1 * > &l, const abstract1 &inter=abstract1::null) | apron::abstract1 | friend |
| to_box(manager &m) const | apron::abstract1 | inline |
| to_generator_array(manager &m) const | apron::abstract1 | inline |
| to_lincons_array(manager &m) const | apron::abstract1 | inline |
| to_tcons_array(manager &m) const | apron::abstract1 | inline |
| unify(manager &m, const abstract1 &y) | apron::abstract1 | inline |
| unify(manager &m, abstract1 &dst, const abstract1 &x, const abstract1 &y) | apron::abstract1 | friend |
| widening(manager &m, abstract1 &dst, const abstract1 &x, const abstract1 &y) | apron::abstract1 | friend |
| widening(manager &m, abstract1 &dst, const abstract1 &x, const abstract1 &y, const lincons1_array &l) | apron::abstract1 | friend |
| ~abstract1() | apron::abstract1 | inline |
Generated on Fri Aug 29 2025 13:06:03 for APRONXX by
1.13.2