Lines Matching refs:vertex
41 static isl_bool vertex_is_integral(__isl_keep isl_basic_set *vertex)
47 nvar = isl_basic_set_dim(vertex, isl_dim_set);
48 nparam = isl_basic_set_dim(vertex, isl_dim_param);
53 if (!isl_int_is_one(vertex->eq[r][1 + nparam + i]) &&
54 !isl_int_is_negone(vertex->eq[r][1 + nparam + i]))
62 __isl_keep isl_basic_set *vertex, int i, __isl_take isl_space *space)
73 nvar = isl_basic_set_dim(vertex, isl_dim_set);
74 nparam = isl_basic_set_dim(vertex, isl_dim_param);
75 total = isl_basic_set_dim(vertex, isl_dim_all);
80 isl_int_set(denom, vertex->eq[r][1 + nparam + i]);
81 isl_assert(vertex->ctx, !isl_int_is_zero(denom), goto error);
84 isl_seq_neg(vertex->eq[r], vertex->eq[r], 1 + total);
88 v = isl_qpolynomial_from_affine(space, vertex->eq[r], denom);
99 * which is the case if we select exactly one vertex (i.e., one of the
100 * exponents in "k" is exactly "d") and if that vertex
121 return vertex_is_integral(cell->vertices->v[v].vertex);
313 v = vertex_coordinate(cell->vertices->v[k].vertex, j,
Indexes created Tue Oct 20 00:27:02 UTC 2026