Searched refs:interval_coefficient_upper_bound (Results 1 – 3 of 3) sorted by relevance
1984 static void interval_coefficient_upper_bound(const N& var_ub,
5855 interval_coefficient_upper_bound(const N& var_ub, const N& minus_var_ub, in interval_coefficient_upper_bound() function in Parma_Polyhedra_Library::Octagonal_Shape
69257 static void interval_coefficient_upper_bound(const N& var_ub,76909 interval_coefficient_upper_bound(const N& var_ub, const N& minus_var_ub,76915 "Octagonal_Shape<T>::interval_coefficient_upper_bound:"