Home
last modified time | relevance | path

Searched refs:FP_Interval_Type (Results 1 – 25 of 44) sorted by relevance

12

/dports/devel/ppl/ppl-1.2/src/
H A Dlinearize.hh137 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 DDivision_Floating_Point_Expression_defs.hh37 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 DDifference_Floating_Point_Expression_defs.hh37 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 DMultiplication_Floating_Point_Expression_defs.hh37 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 DSum_Floating_Point_Expression_defs.hh37 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 DFloating_Point_Expression_templates.hh33 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 DConstant_Floating_Point_Expression_inlines.hh31 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 DSum_Floating_Point_Expression_inlines.hh32 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 DDifference_Floating_Point_Expression_inlines.hh32 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 DMultiplication_Floating_Point_Expression_inlines.hh32 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 DDivision_Floating_Point_Expression_inlines.hh31 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 DFloat_templates.hh34 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 DOpposite_Floating_Point_Expression_inlines.hh31 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 DOpposite_Floating_Point_Expression_defs.hh37 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 DVariable_Floating_Point_Expression_inlines.hh31 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 DFloating_Point_Expression_defs.hh54 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 DConstant_Floating_Point_Expression_defs.hh37 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 DCast_Floating_Point_Expression_inlines.hh31 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 DCast_Floating_Point_Expression_defs.hh37 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 DVariable_Floating_Point_Expression_defs.hh38 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 DPolyhedron_templates.hh328 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 DFloat_defs.hh398 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 DFloating_Point_Expression_inlines.hh32 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 DMultiplication_Floating_Point_Expression_templates.hh30 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 DDivision_Floating_Point_Expression_templates.hh30 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()

12