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]
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 typedefParma_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 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]
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 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]
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]
Generated on Sun Feb 27 16:20:28 2011 for PPL by  doxygen 1.6.3