#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:

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)

Namespaces

Functions