PPL
1.2
|
#include "assertions.hh"
Go to the source code of this file.
Namespaces | |
Parma_Polyhedra_Library | |
The entire library is confined to this namespace. | |
Functions | |
Functions Inspecting and/or Combining Rounding_Dir Values | |
Rounding_Dir | Parma_Polyhedra_Library::operator& (Rounding_Dir x, Rounding_Dir y) |
Rounding_Dir | Parma_Polyhedra_Library::operator| (Rounding_Dir x, Rounding_Dir y) |
Rounding_Dir | Parma_Polyhedra_Library::round_dir (Rounding_Dir dir) |
bool | Parma_Polyhedra_Library::round_down (Rounding_Dir dir) |
bool | Parma_Polyhedra_Library::round_up (Rounding_Dir dir) |
bool | Parma_Polyhedra_Library::round_ignore (Rounding_Dir dir) |
bool | Parma_Polyhedra_Library::round_not_needed (Rounding_Dir dir) |
bool | Parma_Polyhedra_Library::round_not_requested (Rounding_Dir dir) |
bool | Parma_Polyhedra_Library::round_direct (Rounding_Dir dir) |
bool | Parma_Polyhedra_Library::round_inverse (Rounding_Dir dir) |
bool | Parma_Polyhedra_Library::round_strict_relation (Rounding_Dir dir) |
Rounding_Dir | Parma_Polyhedra_Library::inverse (Rounding_Dir dir) |