Searched refs:numeric_range (Results 1 – 2 of 2) sorted by relevance
301 value_range numeric_range (*this); in num_pairs() local302 numeric_range.normalize_symbolics (); in num_pairs()303 return numeric_range.num_pairs (); in num_pairs()324 value_range numeric_range (*this); in lower_bound() local325 numeric_range.normalize_symbolics (); in lower_bound()326 return numeric_range.lower_bound (pair); in lower_bound()353 value_range numeric_range (*this); in upper_bound() local354 numeric_range.normalize_symbolics (); in upper_bound()355 return numeric_range.upper_bound (pair); in upper_bound()513 value_range numeric_range (*this); in contains_p() local[all …]
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()