, 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] |