PPL  1.2
Result_inlines.hh File Reference
#include "assertions.hh"
Include dependency graph for Result_inlines.hh:
This graph shows which files directly or indirectly include this file:

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)