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 | |
int | Parma_Polyhedra_Library::result_overflow (Result r) |
bool | Parma_Polyhedra_Library::result_representable (Result r) |
Functions Inspecting and/or Combining Result Values | |
Result | Parma_Polyhedra_Library::operator& (Result x, Result y) |
Result | Parma_Polyhedra_Library::operator| (Result x, Result y) |
Result | Parma_Polyhedra_Library::operator- (Result x, Result y) |
Result_Class | Parma_Polyhedra_Library::result_class (Result r) |
Result_Relation | Parma_Polyhedra_Library::result_relation (Result r) |
Result | Parma_Polyhedra_Library::result_relation_class (Result r) |