Parma_Polyhedra_Library::Interval< Boundary, Info > Member List

This is the complete list of members for Parma_Polyhedra_Library::Interval< Boundary, Info >, 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 typedefParma_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 typedefParma_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 typedefParma_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]


Generated on Sat Oct 11 10:41:13 2008 for PPL by  doxygen 1.5.6