Lines Matching refs:left_minuend
1138 left_subtract(Type right, const Type& left_minuend) in left_subtract() argument
1140 if(exclusive_less(left_minuend, right)) in left_subtract()
1143 return construct<Type>(upper(left_minuend), upper(right)); in left_subtract()
1148 left_subtract(Type right, const Type& left_minuend) in left_subtract() argument
1150 if(exclusive_less(left_minuend, right)) in left_subtract()
1152 else if(upper_less_equal(right, left_minuend)) in left_subtract()
1155 return construct<Type>(domain_next<Type>(upper(left_minuend)), upper(right)); in left_subtract()
1160 left_subtract(Type right, const Type& left_minuend) in left_subtract() argument
1162 if(exclusive_less(left_minuend, right)) in left_subtract()
1165 return construct<Type>(domain_prior<Type>(upper(left_minuend)), upper(right)); in left_subtract()
1170 left_subtract(Type right, const Type& left_minuend) in left_subtract() argument
1172 if(exclusive_less(left_minuend, right)) in left_subtract()
1175 ( reverse_bounded_upper(left_minuend), bounded_upper(right) ); in left_subtract()