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