Searched refs:y_affine_dim (Results 1 – 4 of 4) sorted by relevance
1558 const dimension_type y_affine_dim = y.affine_dimension(); in BHZ09_C_poly_hull_assign_if_exact() local1559 if (x_affine_dim > y_affine_dim) { in BHZ09_C_poly_hull_assign_if_exact()1562 else if (x_affine_dim < y_affine_dim) { in BHZ09_C_poly_hull_assign_if_exact()
3256 const dimension_type y_affine_dim = y.affine_dimension(); in BHMZ05_widening_assign() local3260 if (y_affine_dim == 0) { in BHMZ05_widening_assign()3266 PPL_ASSERT(x_affine_dim >= y_affine_dim); in BHMZ05_widening_assign()3267 if (x_affine_dim != y_affine_dim) { in BHMZ05_widening_assign()
4030 const dimension_type y_affine_dim = y.affine_dimension(); in BHMZ05_widening_assign() local4034 if (y_affine_dim == 0) { in BHMZ05_widening_assign()4041 PPL_ASSERT(x_affine_dim >= y_affine_dim); in BHMZ05_widening_assign()4042 if (x_affine_dim != y_affine_dim) { in BHMZ05_widening_assign()
75084 const dimension_type y_affine_dim = y.affine_dimension();75088 if (y_affine_dim == 0) {75095 PPL_ASSERT(x_affine_dim >= y_affine_dim);75096 if (x_affine_dim != y_affine_dim) {83803 const dimension_type y_affine_dim = y.affine_dimension();83807 if (y_affine_dim == 0) {83813 PPL_ASSERT(x_affine_dim >= y_affine_dim);83814 if (x_affine_dim != y_affine_dim) {