#include <ppl-config.h>#include "checked.defs.hh"#include <climits>
Go to the source code of this file.
Classes | |
| struct | Parma_Polyhedra_Library::Checked::number_struct |
Namespaces | |
| namespace | Parma_Polyhedra_Library |
The entire library is confined to this namespace. | |
| namespace | Parma_Polyhedra_Library::Checked |
Types and functions implementing checked numbers. | |
Functions | |
| int | Parma_Polyhedra_Library::Checked::get_digit (int c, int base=10) |
Returns the integer value associated with the ASCII code c, in the base base positional number system, if there is such an association; returns otherwise. | |
| bool | Parma_Polyhedra_Library::Checked::sum_sign (bool &a_neg, unsigned long &a_mod, bool b_neg, unsigned long b_mod) |
Adds the number represented (in the modulus-and-sign representation) by b_neg and b_mod to the number represented by a_neg and a_mod, assigning the result to the latter. Returns false is the result cannot be represented; returns true otherwise. | |
| Result | Parma_Polyhedra_Library::Checked::parse_number_part (std::istream &is, number_struct &num) |
Helper function for parse_number(): reads the numerator or denominator part of a number from is into num, returning the appropriate Result value. | |
| Result | Parma_Polyhedra_Library::Checked::parse_number (std::istream &is, number_struct &num, number_struct &den) |
| Result | Parma_Polyhedra_Library::Checked::input_mpq (mpq_class &to, std::istream &is) |
1.6.3