PPL  1.2
Float_inlines.hh File Reference
#include "Variable_defs.hh"
#include "Linear_Form_defs.hh"
#include "assertions.hh"
#include <climits>
Include dependency graph for Float_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

bool Parma_Polyhedra_Library::is_less_precise_than (Floating_Point_Format f1, Floating_Point_Format f2)
 
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...
 
template<typename FP_Interval_Type >
void Parma_Polyhedra_Library::affine_form_image (std::map< dimension_type, Linear_Form< FP_Interval_Type > > &lf_store, const Variable var, const Linear_Form< FP_Interval_Type > &lf)