Lines Matching refs:numeric_range
301 value_range numeric_range (*this); in num_pairs() local
302 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() local
325 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() local
354 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
514 numeric_range.normalize_symbolics (); in contains_p()
515 return numeric_range.contains_p (cst); in contains_p()