PPL  1.2
Result_defs.hh File Reference
#include "Result_inlines.hh"
Include dependency graph for Result_defs.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.
 

Enumerations

enum  Parma_Polyhedra_Library::Result_Class {
  Parma_Polyhedra_Library::VC_NORMAL, Parma_Polyhedra_Library::VC_MINUS_INFINITY, Parma_Polyhedra_Library::VC_PLUS_INFINITY, Parma_Polyhedra_Library::VC_NAN,
  Parma_Polyhedra_Library::VC_MASK = VC_NAN
}
 
enum  Parma_Polyhedra_Library::Result_Relation {
  Parma_Polyhedra_Library::VR_EMPTY, Parma_Polyhedra_Library::VR_EQ, Parma_Polyhedra_Library::VR_LT, Parma_Polyhedra_Library::VR_GT,
  Parma_Polyhedra_Library::VR_NE, Parma_Polyhedra_Library::VR_LE, Parma_Polyhedra_Library::VR_GE, Parma_Polyhedra_Library::VR_LGE,
  Parma_Polyhedra_Library::VR_MASK = VR_LGE
}
 
enum  Parma_Polyhedra_Library::Result {
  Parma_Polyhedra_Library::V_EMPTY, Parma_Polyhedra_Library::V_EQ, Parma_Polyhedra_Library::V_LT, Parma_Polyhedra_Library::V_GT,
  Parma_Polyhedra_Library::V_NE, Parma_Polyhedra_Library::V_LE, Parma_Polyhedra_Library::V_GE, Parma_Polyhedra_Library::V_LGE,
  Parma_Polyhedra_Library::V_OVERFLOW, Parma_Polyhedra_Library::V_LT_INF, Parma_Polyhedra_Library::V_GT_SUP, Parma_Polyhedra_Library::V_LT_PLUS_INFINITY,
  Parma_Polyhedra_Library::V_GT_MINUS_INFINITY, Parma_Polyhedra_Library::V_EQ_MINUS_INFINITY, Parma_Polyhedra_Library::V_EQ_PLUS_INFINITY, Parma_Polyhedra_Library::V_NAN,
  Parma_Polyhedra_Library::V_CVT_STR_UNK, Parma_Polyhedra_Library::V_DIV_ZERO, Parma_Polyhedra_Library::V_INF_ADD_INF, Parma_Polyhedra_Library::V_INF_DIV_INF,
  Parma_Polyhedra_Library::V_INF_MOD, Parma_Polyhedra_Library::V_INF_MUL_ZERO, Parma_Polyhedra_Library::V_INF_SUB_INF, Parma_Polyhedra_Library::V_MOD_ZERO,
  Parma_Polyhedra_Library::V_SQRT_NEG, Parma_Polyhedra_Library::V_UNKNOWN_NEG_OVERFLOW, Parma_Polyhedra_Library::V_UNKNOWN_POS_OVERFLOW, Parma_Polyhedra_Library::V_UNREPRESENTABLE
}
 Possible outcomes of a checked arithmetic computation. More...
 

Functions

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)