Searched refs:numeric_range (Results 1 – 1 of 1) sorted by relevance
414 value_range numeric_range (*this); in legacy_lower_bound() local415 numeric_range.normalize_symbolics (); in legacy_lower_bound()416 return numeric_range.legacy_lower_bound (pair); in legacy_lower_bound()441 value_range numeric_range (*this); in legacy_upper_bound() local442 numeric_range.normalize_symbolics (); in legacy_upper_bound()443 return numeric_range.legacy_upper_bound (pair); in legacy_upper_bound()639 value_range numeric_range (*this); in contains_p() local640 numeric_range.normalize_symbolics (); in contains_p()641 return numeric_range.contains_p (cst); in contains_p()