, including all inherited members.
| add_assign(const From1 &x, const From2 &y) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| ascii_dump(std::ostream &s) const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| ascii_load(std::istream &s) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| assign(Degenerate_Element e) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| assign(const From &) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| assign(const From1 &l, const From2 &u) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| assign(const From &x) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| boundary_type typedef | Parma_Polyhedra_Library::Interval< Boundary, Info > | |
| CC76_widening_assign(const From &y, Iterator first, Iterator last) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| COMPILE_TIME_CHECK(!Info::store_special||!std::numeric_limits< Boundary >::has_infinity,"store_special is meaningless"" when boundary type may contains infinity") | Parma_Polyhedra_Library::Interval< Boundary, Info > | [private] |
| complete_init() | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| complete_init_internal() | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| contains(const T &y) const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| contains_integer_point() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| difference_assign(const From &x) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| difference_assign(const From1 &x, const From2 &y) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| div_assign(const From1 &x, const From2 &y) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| external_memory_in_bytes() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| has_restriction() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| info() | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| info() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| info_type typedef | Parma_Polyhedra_Library::Interval< Boundary, Info > | |
| intersect_assign(const From &x) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| intersect_assign(const From1 &x, const From2 &y) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| Interval() | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| Interval(const T &x) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline, explicit] |
| invalidate_cardinality_cache() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| is_disjoint_from(const T &y) const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| is_empty() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| is_empty_cached() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| is_empty_nocache() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline, private] |
| is_infinity() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| is_singleton() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| is_singleton_cached() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| is_singleton_nocache() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline, private] |
| is_topologically_closed() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| is_unbounded() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| is_universe() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| join_assign(const From &x) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| join_assign(const From1 &x, const From2 &y) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| lower() | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| lower() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| lower_ | Parma_Polyhedra_Library::Interval< Boundary, Info > | [private] |
| lower_is_open() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| lower_is_unbounded() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| lower_load() | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| lower_narrow(const T &x, bool open=false) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| lower_normalize() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline, private] |
| lower_set(const T &x, bool open=false) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| lower_set(const Unbounded &) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| lower_set_uninit(const T &x, bool open=false) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| lower_set_uninit(const Unbounded &) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| lower_shrink() | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| lower_widen(const T &x, bool open=false) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| lower_widen(const Unbounded &) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| mul_assign(const From1 &x, const From2 &y) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| neg_assign(const From &x) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| normalize() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| OK() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| operator*=(const T &x) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| operator+=(const T &x) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| operator-=(const T &x) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| operator/=(const T &x) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| operator=(const T &x) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| Property typedef | Parma_Polyhedra_Library::Interval< Boundary, Info > | |
| refine_existential(Relation_Symbol rel, const From &x) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| refine_universal(Relation_Symbol rel, const From &x) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| set_infinities() | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| strictly_contains(const T &y) const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| sub_assign(const From1 &x, const From2 &y) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| swap(Interval &y) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| swap(Parma_Polyhedra_Library::Interval< Boundary, Info > &x, Parma_Polyhedra_Library::Interval< Boundary, Info > &y) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [related] |
| topological_closure_assign() | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| total_memory_in_bytes() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| upper() | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| upper() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| upper_ | Parma_Polyhedra_Library::Interval< Boundary, Info > | [private] |
| upper_is_open() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| upper_is_unbounded() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| upper_load() | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| upper_narrow(const T &x, bool open=false) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| upper_normalize() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline, private] |
| upper_set(const T &x, bool open=false) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| upper_set(const Unbounded &) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| upper_set_uninit(const T &x, bool open=false) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| upper_set_uninit(const Unbounded &) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| upper_shrink() | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| upper_widen(const T &x, bool open=false) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| upper_widen(const Unbounded &) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| w_info() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline, private] |
