PPL
1.2
|
#include "Variable_defs.hh"
#include "Linear_Form_defs.hh"
#include "assertions.hh"
#include <climits>
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) |