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