absolute_error | Parma_Polyhedra_Library::Floating_Point_Expression< FP_Interval_Type, FP_Format > | static |
boundary_type typedef | Parma_Polyhedra_Library::Sum_Floating_Point_Expression< FP_Interval_Type, FP_Format > | |
FP_Interval_Abstract_Store typedef | Parma_Polyhedra_Library::Sum_Floating_Point_Expression< FP_Interval_Type, FP_Format > | |
FP_Linear_Form typedef | Parma_Polyhedra_Library::Sum_Floating_Point_Expression< FP_Interval_Type, FP_Format > | |
FP_Linear_Form_Abstract_Store typedef | Parma_Polyhedra_Library::Sum_Floating_Point_Expression< FP_Interval_Type, FP_Format > | |
info_type typedef | Parma_Polyhedra_Library::Sum_Floating_Point_Expression< FP_Interval_Type, FP_Format > | |
intervalize(const FP_Linear_Form &lf, const FP_Interval_Abstract_Store &store, FP_Interval_Type &result) | Parma_Polyhedra_Library::Floating_Point_Expression< FP_Interval_Type, FP_Format > | static |
linearize(const FP_Interval_Abstract_Store &int_store, const FP_Linear_Form_Abstract_Store &lf_store, FP_Linear_Form &result) const | Parma_Polyhedra_Library::Sum_Floating_Point_Expression< FP_Interval_Type, FP_Format > | virtual |
m_swap(Sum_Floating_Point_Expression< FP_Interval_Type, FP_Format > &y) | Parma_Polyhedra_Library::Sum_Floating_Point_Expression< FP_Interval_Type, FP_Format > | inline |
overflows(const FP_Linear_Form &lf) | Parma_Polyhedra_Library::Floating_Point_Expression< FP_Interval_Type, FP_Format > | inlinestatic |
relative_error(const FP_Linear_Form &lf, FP_Linear_Form &result) | Parma_Polyhedra_Library::Floating_Point_Expression< FP_Interval_Type, FP_Format > | static |
Sum_Floating_Point_Expression(Floating_Point_Expression< FP_Interval_Type, FP_Format > *const x, Floating_Point_Expression< FP_Interval_Type, FP_Format > *const y) | Parma_Polyhedra_Library::Sum_Floating_Point_Expression< FP_Interval_Type, FP_Format > | inline |
swap(Sum_Floating_Point_Expression< FP_Interval_Type, FP_Format > &x, Sum_Floating_Point_Expression< FP_Interval_Type, FP_Format > &y) | Parma_Polyhedra_Library::Sum_Floating_Point_Expression< FP_Interval_Type, FP_Format > | related |
swap(Sum_Floating_Point_Expression< FP_Interval_Type, FP_Format > &x, Sum_Floating_Point_Expression< FP_Interval_Type, FP_Format > &y) | Parma_Polyhedra_Library::Sum_Floating_Point_Expression< FP_Interval_Type, FP_Format > | related |
~Floating_Point_Expression() | Parma_Polyhedra_Library::Floating_Point_Expression< FP_Interval_Type, FP_Format > | inlinevirtual |
~Sum_Floating_Point_Expression() | Parma_Polyhedra_Library::Sum_Floating_Point_Expression< FP_Interval_Type, FP_Format > | inline |