Lines Matching refs:FP_Interval_Type

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
122   Floating_Point_Expression<FP_Interval_Type, FP_Format>::info_type info_type;
131            Floating_Point_Expression<FP_Interval_Type, FP_Format>* const op);
185   Floating_Point_Expression<FP_Interval_Type, FP_Format>* operand;