/dports/devel/ppl/ppl-1.2/src/ |
H A D | linearize.hh | 137 FP_Interval_Type absolute_error = in add_linearize() 250 FP_Interval_Type absolute_error = in sub_linearize() 394 FP_Interval_Type intervalized_first_operand; in mul_linearize() 404 FP_Interval_Type intervalized_second_operand; in mul_linearize() 456 FP_Interval_Type absolute_error = in mul_linearize() 596 FP_Interval_Type absolute_error = in div_linearize() 665 FP_Interval_Type expr_value; in cast_linearize() 687 FP_Interval_Type absolute_error = in cast_linearize() 752 FP_Interval_Type constant_value; in linearize() 852 FP_Interval_Type lub(EMPTY); in linearize() [all …]
|
H A D | Division_Floating_Point_Expression_defs.hh | 37 template <typename FP_Interval_Type, typename FP_Format> 117 template <typename FP_Interval_Type, typename FP_Format> 119 : public Floating_Point_Expression<FP_Interval_Type, FP_Format> { 128 Floating_Point_Expression<FP_Interval_Type, FP_Format> 136 Floating_Point_Expression<FP_Interval_Type, FP_Format> 144 Floating_Point_Expression<FP_Interval_Type, FP_Format>:: 152 Floating_Point_Expression<FP_Interval_Type, FP_Format>::boundary_type 202 void m_swap(Division_Floating_Point_Expression<FP_Interval_Type, 218 const Division_Floating_Point_Expression<FP_Interval_Type, 226 Division_Floating_Point_Expression<FP_Interval_Type, FP_Format>& [all …]
|
H A D | Difference_Floating_Point_Expression_defs.hh | 37 template <typename FP_Interval_Type, typename FP_Format> 39 swap(Difference_Floating_Point_Expression<FP_Interval_Type, FP_Format>& x, 100 template <typename FP_Interval_Type, typename FP_Format> 102 : public Floating_Point_Expression<FP_Interval_Type, FP_Format> { 111 Floating_Point_Expression<FP_Interval_Type, FP_Format> 119 Floating_Point_Expression<FP_Interval_Type, FP_Format> 127 Floating_Point_Expression<FP_Interval_Type, FP_Format> 135 Floating_Point_Expression<FP_Interval_Type, FP_Format>::boundary_type 185 void m_swap(Difference_Floating_Point_Expression<FP_Interval_Type, 201 const Difference_Floating_Point_Expression<FP_Interval_Type, [all …]
|
H A D | Multiplication_Floating_Point_Expression_defs.hh | 37 template <typename FP_Interval_Type, typename FP_Format> 130 template <typename FP_Interval_Type, typename FP_Format> 132 : public Floating_Point_Expression<FP_Interval_Type, FP_Format> { 141 Floating_Point_Expression<FP_Interval_Type, FP_Format> 149 Floating_Point_Expression<FP_Interval_Type, FP_Format> 157 Floating_Point_Expression<FP_Interval_Type, FP_Format>:: 165 Floating_Point_Expression<FP_Interval_Type, FP_Format>::boundary_type 215 void m_swap(Multiplication_Floating_Point_Expression<FP_Interval_Type, 221 Floating_Point_Expression<FP_Interval_Type, FP_Format>* first_operand; 223 Floating_Point_Expression<FP_Interval_Type, FP_Format>* second_operand; [all …]
|
H A D | Sum_Floating_Point_Expression_defs.hh | 37 template <typename FP_Interval_Type, typename FP_Format> 38 void swap(Sum_Floating_Point_Expression<FP_Interval_Type, FP_Format>& x, 39 Sum_Floating_Point_Expression<FP_Interval_Type, FP_Format>& y); 94 template <typename FP_Interval_Type, typename FP_Format> 96 : public Floating_Point_Expression<FP_Interval_Type, FP_Format> { 105 Floating_Point_Expression<FP_Interval_Type, FP_Format> 113 Floating_Point_Expression<FP_Interval_Type, FP_Format> 121 Floating_Point_Expression<FP_Interval_Type, FP_Format>:: 129 Floating_Point_Expression<FP_Interval_Type, FP_Format>::boundary_type 201 Sum_Floating_Point_Expression<FP_Interval_Type, FP_Format>& [all …]
|
H A D | Floating_Point_Expression_templates.hh | 33 template<typename FP_Interval_Type, typename FP_Format> 35 Floating_Point_Expression<FP_Interval_Type, FP_Format> 38 FP_Interval_Type error_propagator; in relative_error() 49 FP_Interval_Type in relative_error() 73 template<typename FP_Interval_Type, typename FP_Format> 75 Floating_Point_Expression<FP_Interval_Type, FP_Format> 78 FP_Interval_Type& result) { in intervalize() 79 result = FP_Interval_Type(lf.inhomogeneous_term()); in intervalize() 93 FP_Interval_Type 94 Floating_Point_Expression<FP_Interval_Type, FP_Format> [all …]
|
H A D | Constant_Floating_Point_Expression_inlines.hh | 31 template <typename FP_Interval_Type, typename FP_Format> 33 Constant_Floating_Point_Expression<FP_Interval_Type, FP_Format>:: 37 template <typename FP_Interval_Type, typename FP_Format> 39 Constant_Floating_Point_Expression<FP_Interval_Type, FP_Format>:: 47 template <typename FP_Interval_Type, typename FP_Format> 49 Constant_Floating_Point_Expression<FP_Interval_Type, FP_Format>:: 52 template <typename FP_Interval_Type, typename FP_Format> 54 Constant_Floating_Point_Expression<FP_Interval_Type, FP_Format> 60 template <typename FP_Interval_Type, typename FP_Format> 62 Constant_Floating_Point_Expression<FP_Interval_Type, FP_Format> [all …]
|
H A D | Sum_Floating_Point_Expression_inlines.hh | 32 template <typename FP_Interval_Type, typename FP_Format> 34 Sum_Floating_Point_Expression<FP_Interval_Type, FP_Format> 36 Floating_Point_Expression<FP_Interval_Type, FP_Format>* const x, in Sum_Floating_Point_Expression() argument 37 Floating_Point_Expression<FP_Interval_Type, FP_Format>* const y) in Sum_Floating_Point_Expression() 43 template <typename FP_Interval_Type, typename FP_Format> 45 Sum_Floating_Point_Expression<FP_Interval_Type, FP_Format> 51 template <typename FP_Interval_Type, typename FP_Format> 53 Sum_Floating_Point_Expression<FP_Interval_Type, FP_Format> 61 template <typename FP_Interval_Type, typename FP_Format> 63 swap(Sum_Floating_Point_Expression<FP_Interval_Type, FP_Format>& x, in swap() argument [all …]
|
H A D | Difference_Floating_Point_Expression_inlines.hh | 32 template <typename FP_Interval_Type, typename FP_Format> 34 Difference_Floating_Point_Expression<FP_Interval_Type, FP_Format> 36 Floating_Point_Expression<FP_Interval_Type, FP_Format>* const x, in Difference_Floating_Point_Expression() argument 37 Floating_Point_Expression<FP_Interval_Type, FP_Format>* const y) in Difference_Floating_Point_Expression() 43 template <typename FP_Interval_Type, typename FP_Format> 45 Difference_Floating_Point_Expression<FP_Interval_Type, FP_Format> 51 template <typename FP_Interval_Type, typename FP_Format> 53 Difference_Floating_Point_Expression<FP_Interval_Type, FP_Format> 61 template <typename FP_Interval_Type, typename FP_Format> 63 swap(Difference_Floating_Point_Expression<FP_Interval_Type, FP_Format>& x, in swap() argument [all …]
|
H A D | Multiplication_Floating_Point_Expression_inlines.hh | 32 template <typename FP_Interval_Type, typename FP_Format> 34 Multiplication_Floating_Point_Expression<FP_Interval_Type, FP_Format> 36 Floating_Point_Expression<FP_Interval_Type, FP_Format>* const x, in Multiplication_Floating_Point_Expression() argument 37 Floating_Point_Expression<FP_Interval_Type, FP_Format>* const y) in Multiplication_Floating_Point_Expression() 43 template <typename FP_Interval_Type, typename FP_Format> 45 Multiplication_Floating_Point_Expression<FP_Interval_Type, FP_Format> 51 template <typename FP_Interval_Type, typename FP_Format> 53 Multiplication_Floating_Point_Expression<FP_Interval_Type, FP_Format> 54 ::m_swap(Multiplication_Floating_Point_Expression<FP_Interval_Type, in m_swap() argument 62 template <typename FP_Interval_Type, typename FP_Format> [all …]
|
H A D | Division_Floating_Point_Expression_inlines.hh | 31 template <typename FP_Interval_Type, typename FP_Format> 33 Division_Floating_Point_Expression<FP_Interval_Type, FP_Format> 35 Floating_Point_Expression<FP_Interval_Type, FP_Format>* const num, in Division_Floating_Point_Expression() argument 36 Floating_Point_Expression<FP_Interval_Type, FP_Format>* const den) in Division_Floating_Point_Expression() 42 template <typename FP_Interval_Type, typename FP_Format> 44 Division_Floating_Point_Expression<FP_Interval_Type, FP_Format> 50 template <typename FP_Interval_Type, typename FP_Format> 52 Division_Floating_Point_Expression<FP_Interval_Type, FP_Format> 60 template <typename FP_Interval_Type, typename FP_Format> 62 swap(Division_Floating_Point_Expression<FP_Interval_Type, FP_Format>& x, in swap() argument [all …]
|
H A D | Float_templates.hh | 34 template <typename FP_Interval_Type> 35 const FP_Interval_Type& compute_absolute_error( in compute_absolute_error() 40 static const FP_Interval_Type ZERO_INTERVAL = FP_Interval_Type(0); in compute_absolute_error() 42 static FP_Interval_Type ieee754_half_result = ZERO_INTERVAL; in compute_absolute_error() 45 static FP_Interval_Type ibm_single_result = ZERO_INTERVAL; in compute_absolute_error() 46 static FP_Interval_Type ieee754_quad_result = ZERO_INTERVAL; in compute_absolute_error() 49 FP_Interval_Type* to_compute = NULL; in compute_absolute_error() 133 template <typename FP_Interval_Type> 138 typedef Linear_Form<FP_Interval_Type> FP_Linear_Form; in discard_occurrences() 152 template <typename FP_Interval_Type> [all …]
|
H A D | Opposite_Floating_Point_Expression_inlines.hh | 31 template <typename FP_Interval_Type, typename FP_Format> 33 Opposite_Floating_Point_Expression<FP_Interval_Type, FP_Format>:: 35 Floating_Point_Expression<FP_Interval_Type, FP_Format>* const op) in Opposite_Floating_Point_Expression() argument 41 template <typename FP_Interval_Type, typename FP_Format> 43 Opposite_Floating_Point_Expression<FP_Interval_Type, FP_Format>:: 48 template <typename FP_Interval_Type, typename FP_Format> 50 Opposite_Floating_Point_Expression<FP_Interval_Type, FP_Format> 56 template <typename FP_Interval_Type, typename FP_Format> 58 Opposite_Floating_Point_Expression<FP_Interval_Type, FP_Format> 71 template <typename FP_Interval_Type, typename FP_Format> [all …]
|
H A D | Opposite_Floating_Point_Expression_defs.hh | 37 template<typename FP_Interval_Type, typename FP_Format> 38 void swap(Opposite_Floating_Point_Expression<FP_Interval_Type, FP_Format>& x, 39 Opposite_Floating_Point_Expression<FP_Interval_Type, FP_Format>& y); 80 template <typename FP_Interval_Type, typename FP_Format> 82 : public Floating_Point_Expression<FP_Interval_Type, FP_Format> { 91 Floating_Point_Expression<FP_Interval_Type, FP_Format>:: 99 Floating_Point_Expression<FP_Interval_Type, FP_Format>:: 107 Floating_Point_Expression<FP_Interval_Type, FP_Format>:: 115 Floating_Point_Expression<FP_Interval_Type, FP_Format>::boundary_type 131 Floating_Point_Expression<FP_Interval_Type, FP_Format>* const op); [all …]
|
H A D | Variable_Floating_Point_Expression_inlines.hh | 31 template <typename FP_Interval_Type, typename FP_Format> 33 Variable_Floating_Point_Expression<FP_Interval_Type, FP_Format>:: 37 template <typename FP_Interval_Type, typename FP_Format> 39 Variable_Floating_Point_Expression<FP_Interval_Type, FP_Format>:: 42 template <typename FP_Interval_Type, typename FP_Format> 44 Variable_Floating_Point_Expression<FP_Interval_Type, FP_Format> 50 template <typename FP_Interval_Type, typename FP_Format> 52 Variable_Floating_Point_Expression<FP_Interval_Type, FP_Format> 68 template <typename FP_Interval_Type, typename FP_Format> 70 Variable_Floating_Point_Expression<FP_Interval_Type, FP_Format> [all …]
|
H A D | Floating_Point_Expression_defs.hh | 54 template <typename FP_Interval_Type, typename FP_Format> 60 typedef Linear_Form<FP_Interval_Type> FP_Linear_Form; 70 typedef Box<FP_Interval_Type> FP_Interval_Abstract_Store; 81 typedef typename FP_Interval_Type::boundary_type boundary_type; 84 typedef typename FP_Interval_Type::info_type info_type; 126 static FP_Interval_Type absolute_error; 185 FP_Interval_Type& result); 198 static FP_Interval_Type compute_absolute_error(); 203 template <typename FP_Interval_Type, typename FP_Format> 204 FP_Interval_Type Floating_Point_Expression<FP_Interval_Type, FP_Format>
|
H A D | Constant_Floating_Point_Expression_defs.hh | 37 template<typename FP_Interval_Type, typename FP_Format> 38 void swap(Constant_Floating_Point_Expression<FP_Interval_Type, FP_Format>& x, 39 Constant_Floating_Point_Expression<FP_Interval_Type, FP_Format>& y); 60 template <typename FP_Interval_Type, typename FP_Format> 62 : public Floating_Point_Expression<FP_Interval_Type, FP_Format> { 71 Floating_Point_Expression<FP_Interval_Type, FP_Format>:: 79 Floating_Point_Expression<FP_Interval_Type, FP_Format>:: 87 Floating_Point_Expression<FP_Interval_Type, FP_Format>:: 95 Floating_Point_Expression<FP_Interval_Type, FP_Format>::boundary_type 102 Floating_Point_Expression<FP_Interval_Type, FP_Format>::info_type info_type; [all …]
|
H A D | Cast_Floating_Point_Expression_inlines.hh | 31 template <typename FP_Interval_Type, typename FP_Format> 33 Cast_Floating_Point_Expression<FP_Interval_Type, FP_Format>:: 35 Floating_Point_Expression<FP_Interval_Type, FP_Format>* const e) in Cast_Floating_Point_Expression() argument 40 template <typename FP_Interval_Type, typename FP_Format> 42 Cast_Floating_Point_Expression<FP_Interval_Type, FP_Format>:: 47 template <typename FP_Interval_Type, typename FP_Format> 49 Cast_Floating_Point_Expression<FP_Interval_Type, FP_Format> 55 template <typename FP_Interval_Type, typename FP_Format> 57 swap(Cast_Floating_Point_Expression<FP_Interval_Type, FP_Format>& x, in swap() argument 58 Cast_Floating_Point_Expression<FP_Interval_Type, FP_Format>& y) { in swap()
|
H A D | Cast_Floating_Point_Expression_defs.hh | 37 template<typename FP_Interval_Type, typename FP_Format> 39 swap(Cast_Floating_Point_Expression<FP_Interval_Type, FP_Format>& x, 40 Cast_Floating_Point_Expression<FP_Interval_Type, FP_Format>& y); 89 template <typename FP_Interval_Type, typename FP_Format> 91 : public Floating_Point_Expression<FP_Interval_Type, FP_Format> { 100 Floating_Point_Expression<FP_Interval_Type, FP_Format>:: 108 Floating_Point_Expression<FP_Interval_Type, FP_Format>:: 116 Floating_Point_Expression<FP_Interval_Type, FP_Format>:: 126 Floating_Point_Expression<FP_Interval_Type, FP_Format>* const expr); 158 Floating_Point_Expression<FP_Interval_Type, FP_Format>* expr;
|
H A D | Variable_Floating_Point_Expression_defs.hh | 38 template<typename FP_Interval_Type, typename FP_Format> 39 void swap(Variable_Floating_Point_Expression<FP_Interval_Type, FP_Format>& x, 40 Variable_Floating_Point_Expression<FP_Interval_Type, FP_Format>& y); 63 template <typename FP_Interval_Type, typename FP_Format> 65 : public Floating_Point_Expression<FP_Interval_Type, FP_Format> { 74 Floating_Point_Expression<FP_Interval_Type, FP_Format>:: 82 Floating_Point_Expression<FP_Interval_Type, FP_Format>:: 90 Floating_Point_Expression<FP_Interval_Type, FP_Format>:: 98 Floating_Point_Expression<FP_Interval_Type, FP_Format>::boundary_type 105 Floating_Point_Expression<FP_Interval_Type, FP_Format>::info_type info_type;
|
H A D | Polyhedron_templates.hh | 328 typedef Interval<FP_Format, Interval_Info> FP_Interval_Type; in refine_with_linear_form_inequality() typedef 329 typedef Linear_Form<FP_Interval_Type> FP_Linear_Form; in refine_with_linear_form_inequality() 396 typedef Interval<FP_Format, Interval_Info> FP_Interval_Type; in affine_form_image() typedef 397 typedef Linear_Form<FP_Interval_Type> FP_Linear_Form; in affine_form_image() 441 typedef Linear_Form<FP_Interval_Type> FP_Linear_Form; in overapproximate_linear_form() 445 Box<FP_Interval_Type> box(*this); in overapproximate_linear_form() 450 FP_Interval_Type aux_divisor2(aux_divisor1); in overapproximate_linear_form() 461 FP_Interval_Type curr_addend(curr_ub - curr_lb); in overapproximate_linear_form() 465 curr_addend = FP_Interval_Type(curr_lb + curr_ub); in overapproximate_linear_form() 490 const FP_Interval_Type& b = lf.inhomogeneous_term(); in convert_to_integer_expression() [all …]
|
H A D | Float_defs.hh | 398 template <typename Target, typename FP_Interval_Type> 427 FP_Interval_Type& result) const = 0; 481 template <typename FP_Interval_Type> 482 const FP_Interval_Type& 489 template <typename FP_Interval_Type> 492 Linear_Form<FP_Interval_Type> >& lf_store, 499 template <typename FP_Interval_Type> 502 Linear_Form<FP_Interval_Type> >& lf_store, 504 const Linear_Form<FP_Interval_Type>& lf); 510 template <typename FP_Interval_Type> [all …]
|
H A D | Floating_Point_Expression_inlines.hh | 32 template <typename FP_Interval_Type, typename FP_Format> 34 Floating_Point_Expression<FP_Interval_Type, FP_Format> 37 template <typename FP_Interval_Type, typename FP_Format> 39 Floating_Point_Expression<FP_Interval_Type, FP_Format>
|
H A D | Multiplication_Floating_Point_Expression_templates.hh | 30 template <typename FP_Interval_Type, typename FP_Format> 31 bool Multiplication_Floating_Point_Expression<FP_Interval_Type, FP_Format> 54 FP_Interval_Type intervalized_first_operand; in linearize() 62 FP_Interval_Type intervalized_second_operand; in linearize()
|
H A D | Division_Floating_Point_Expression_templates.hh | 30 template <typename FP_Interval_Type, typename FP_Format> 31 bool Division_Floating_Point_Expression<FP_Interval_Type, FP_Format> 40 FP_Interval_Type intervalized_second_operand; in linearize()
|