Searched refs:x_affine_dim (Results 1 – 4 of 4) sorted by relevance
1557 const dimension_type x_affine_dim = x.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()
3265 const dimension_type x_affine_dim = affine_dimension(); in BHMZ05_widening_assign() local3266 PPL_ASSERT(x_affine_dim >= y_affine_dim); in BHMZ05_widening_assign()3267 if (x_affine_dim != y_affine_dim) { in BHMZ05_widening_assign()
4040 const dimension_type x_affine_dim = affine_dimension(); in BHMZ05_widening_assign() local4041 PPL_ASSERT(x_affine_dim >= y_affine_dim); in BHMZ05_widening_assign()4042 if (x_affine_dim != y_affine_dim) { in BHMZ05_widening_assign()
75094 const dimension_type x_affine_dim = affine_dimension();75095 PPL_ASSERT(x_affine_dim >= y_affine_dim);75096 if (x_affine_dim != y_affine_dim) {83812 const dimension_type x_affine_dim = affine_dimension();83813 PPL_ASSERT(x_affine_dim >= y_affine_dim);83814 if (x_affine_dim != y_affine_dim) {