, including all inherited members.
| add_assign(const From1 &x, const From2 &y) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| add_constraint(const C &c) | 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 From &x) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| boundary_type typedef | Parma_Polyhedra_Library::Interval< Boundary, Info > | |
| build() | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| build(const C &c) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| build(const C1 &c1, const C2 &c2) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| can_be_exactly_joined_to(const Type &x) const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| CC76_widening_assign(const From &y, Iterator first, Iterator last) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| check_empty(I_Result r) const | 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] |
| drop_some_non_integer_points() | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| empty_intersection_assign(const From &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] |
| Interval(const char *s) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [explicit] |
| is_always_topologically_closed() | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline, static] |
| is_bounded() 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_infinity() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| is_singleton() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| is_topologically_closed() 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_approximation_difference_assign(const From &x) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| lower_constraint() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| lower_extend() | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| lower_extend(const C &c) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| lower_is_boundary_infinity() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| lower_is_domain_inf() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| lower_is_open() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| lower_normalize() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline, private] |
| 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] |
| PPL_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] |
| 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] |
| remove_inf() | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| remove_sup() | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| set_infinities() | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| simplify_using_context_assign(const From &y) | 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_constraint() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| upper_extend() | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| upper_extend(const C &c) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| upper_is_boundary_infinity() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| upper_is_domain_sup() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| upper_is_open() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |
| upper_normalize() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline, private] |
| w_info() const | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline, private] |
| wrap_assign(Bounded_Integer_Type_Width w, Bounded_Integer_Type_Representation r, const From &refinement) | Parma_Polyhedra_Library::Interval< Boundary, Info > | [inline] |