Lines Matching defs:has
187 * then the resulting set is of dimension n*(1+d) and has as constraints
305 * This means that the facet is unbounded, but has a bounded intersection
380 * If the affine hull of this intersection has only one equality,
1424 * lineality space. If any of the intermediate results has
1719 isl_bool has;
1721 has = has_constraint(hull->ctx, table, ineq, total, n);
1722 if (has < 0)
1724 if (!has)
2158 * "v" has been set up for use by has_ineq.
2216 * of the inequality has already been updated with respect to this
2755 * has no parameters or integer divisions.
2873 * by only constraints in the elements of "list", where "set" has
Indexes created Sun Apr 19 00:22:55 UTC 2026