Parma_Polyhedra_Library::Interval_Restriction_Integer< Base > Member List

This is the complete list of members for Parma_Polyhedra_Library::Interval_Restriction_Integer< Base >, including all inherited members.
const_int_nodef(integer_bit, Base::next_bit)Parma_Polyhedra_Library::Interval_Restriction_Integer< Base >
const_int_nodef(next_bit, integer_bit+1)Parma_Polyhedra_Library::Interval_Restriction_Integer< Base >
get_integer() const Parma_Polyhedra_Library::Interval_Restriction_Integer< Base > [inline]
has_restriction() const Parma_Polyhedra_Library::Interval_Restriction_Integer< Base > [inline]
Interval_Restriction_Integer()Parma_Polyhedra_Library::Interval_Restriction_Integer< Base > [inline]
normalize() const Parma_Polyhedra_Library::Interval_Restriction_Integer< Base > [inline]
restrict(Rounding_Dir rdir, T &x, Result dir) const Parma_Polyhedra_Library::Interval_Restriction_Integer< Base > [inline]
set_integer(bool v=true)Parma_Polyhedra_Library::Interval_Restriction_Integer< Base > [inline]
Generated on Sun Feb 27 16:20:27 2011 for PPL by  doxygen 1.6.3