Home
last modified time | relevance | path

Searched refs:x_affine_dim (Results 1 – 4 of 4) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DPolyhedron_nonpublic.cc1557 const dimension_type x_affine_dim = x.affine_dimension(); in BHZ09_C_poly_hull_assign_if_exact() local
1559 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()
H A DBD_Shape_templates.hh3265 const dimension_type x_affine_dim = affine_dimension(); in BHMZ05_widening_assign() local
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()
H A DOctagonal_Shape_templates.hh4040 const dimension_type x_affine_dim = affine_dimension(); in BHMZ05_widening_assign() local
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()
H A Dppl.hh.dist75094 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) {