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(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 Sat Oct 11 10:41:11 2008 for PPL by  doxygen 1.5.6