#include "ppl-config.h"
#include "checked_defs.hh"
#include "C_Integer.hh"
Go to the source code of this file.
|
| int | Parma_Polyhedra_Library::Checked::get_digit (char c, unsigned 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. More...
|
| |
| 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. More...
|
| |
| Result | Parma_Polyhedra_Library::Checked::parse_number_part (std::istream &is, number_struct &numer) |
| | Helper function for parse_number(): reads the numerator or denominator part of a number from is into numer, returning the appropriate Result value. More...
|
| |
| Result | Parma_Polyhedra_Library::Checked::parse_number (std::istream &is, number_struct &numer, number_struct &denom) |
| | Reads a number from is writing it into numer, the numerator, and denom, the denominator; the appropriate Result value is returned. More...
|
| |
| Result | Parma_Polyhedra_Library::Checked::input_mpq (mpq_class &to, std::istream &is) |
| |
| std::string | Parma_Polyhedra_Library::Checked::float_mpq_to_string (mpq_class &q) |
| |
