absolute_error | Parma_Polyhedra_Library::Floating_Point_Expression< FP_Interval_Type, FP_Format > | static |
boundary_type typedef | Parma_Polyhedra_Library::Difference_Floating_Point_Expression< FP_Interval_Type, FP_Format > | |
Difference_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::Difference_Floating_Point_Expression< FP_Interval_Type, FP_Format > | inline |
Difference_Floating_Point_Expression(const Difference_Floating_Point_Expression< FP_Interval_Type, FP_Format > &e) | Parma_Polyhedra_Library::Difference_Floating_Point_Expression< FP_Interval_Type, FP_Format > | private |
first_operand | Parma_Polyhedra_Library::Difference_Floating_Point_Expression< FP_Interval_Type, FP_Format > | private |
FP_Interval_Abstract_Store typedef | Parma_Polyhedra_Library::Difference_Floating_Point_Expression< FP_Interval_Type, FP_Format > | |
FP_Linear_Form typedef | Parma_Polyhedra_Library::Difference_Floating_Point_Expression< FP_Interval_Type, FP_Format > | |
FP_Linear_Form_Abstract_Store typedef | Parma_Polyhedra_Library::Difference_Floating_Point_Expression< FP_Interval_Type, FP_Format > | |
info_type typedef | Parma_Polyhedra_Library::Difference_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::Difference_Floating_Point_Expression< FP_Interval_Type, FP_Format > | virtual |
m_swap(Difference_Floating_Point_Expression< FP_Interval_Type, FP_Format > &y) | Parma_Polyhedra_Library::Difference_Floating_Point_Expression< FP_Interval_Type, FP_Format > | inline |
operator=(const Difference_Floating_Point_Expression< FP_Interval_Type, FP_Format > &e) | Parma_Polyhedra_Library::Difference_Floating_Point_Expression< FP_Interval_Type, FP_Format > | private |
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 |
second_operand | Parma_Polyhedra_Library::Difference_Floating_Point_Expression< FP_Interval_Type, FP_Format > | private |
swap(Difference_Floating_Point_Expression< FP_Interval_Type, FP_Format > &x, Difference_Floating_Point_Expression< FP_Interval_Type, FP_Format > &y) | Parma_Polyhedra_Library::Difference_Floating_Point_Expression< FP_Interval_Type, FP_Format > | related |
swap(Difference_Floating_Point_Expression< FP_Interval_Type, FP_Format > &x, Difference_Floating_Point_Expression< FP_Interval_Type, FP_Format > &y) | Parma_Polyhedra_Library::Difference_Floating_Point_Expression< FP_Interval_Type, FP_Format > | related |
~Difference_Floating_Point_Expression() | Parma_Polyhedra_Library::Difference_Floating_Point_Expression< FP_Interval_Type, FP_Format > | inline |
~Floating_Point_Expression() | Parma_Polyhedra_Library::Floating_Point_Expression< FP_Interval_Type, FP_Format > | inlinevirtual |