Float_defs.hh File Reference

#include "globals_types.hh"
#include "meta_programming.hh"
#include "compiler.hh"
#include "Concrete_Expression_types.hh"
#include "Variable_types.hh"
#include "Linear_Form_types.hh"
#include <set>
#include <cmath>
#include <map>
#include <gmp.h>
#include "Float_inlines.hh"
#include "Float_templates.hh"

Include dependency graph for Float_defs.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	Parma_Polyhedra_Library::float_ieee754_half
struct	Parma_Polyhedra_Library::float_ieee754_single
struct	Parma_Polyhedra_Library::float_ieee754_double
struct	Parma_Polyhedra_Library::float_ibm_single
struct	Parma_Polyhedra_Library::float_ibm_double
struct	Parma_Polyhedra_Library::float_intel_double_extended
struct	Parma_Polyhedra_Library::float_ieee754_quad
class	Parma_Polyhedra_Library::Float< T >
class	Parma_Polyhedra_Library::FP_Oracle< Target, FP_Interval_Type >
	An abstract class to be implemented by an external analyzer such as ECLAIR in order to provide to the PPL the necessary information for performing the analysis of floating point computations. More...

Namespaces
	Parma_Polyhedra_Library
	The entire library is confined to this namespace.

Macros
#define	PPL_NAN   (HUGE_VAL - HUGE_VAL)

Functions
unsigned int	Parma_Polyhedra_Library::msb_position (unsigned long long v)
	If v is nonzero, returns the position of the most significant bit in a. More...

Macro Definition Documentation

#define PPL_NAN   (HUGE_VAL - HUGE_VAL)

Definition at line 41 of file Float_defs.hh.

Referenced by Parma_Polyhedra_Library::Checked::assign_special_float().