Lines Matching refs:nvar
100 isl_size nvar; in isl_factorizer_groups() local
109 nvar = isl_basic_set_dim(bset, isl_dim_set); in isl_factorizer_groups()
110 if (nvar < 0 || !Q || !U) in isl_factorizer_groups()
120 space = isl_space_drop_dims(space, isl_dim_set, 0, nvar); in isl_factorizer_groups()
121 space = isl_space_add_dims(space, isl_dim_set, nvar); in isl_factorizer_groups()
274 isl_size nvar; in isl_basic_set_factorizer() local
278 nvar = isl_basic_set_dim(bset, isl_dim_set); in isl_basic_set_factorizer()
279 if (nvar < 0 || isl_basic_set_check_no_locals(bset) < 0) in isl_basic_set_factorizer()
282 if (nvar <= 1) in isl_basic_set_factorizer()
285 H = isl_mat_alloc(bset->ctx, bset->n_eq + bset->n_ineq, nvar); in isl_basic_set_factorizer()
289 0, 1 + isl_space_offset(bset->dim, isl_dim_set), nvar); in isl_basic_set_factorizer()
291 0, 1 + isl_space_offset(bset->dim, isl_dim_set), nvar); in isl_basic_set_factorizer()
299 if (g.cnt[0] == nvar) { in isl_basic_set_factorizer()
310 while (done != nvar) { in isl_basic_set_factorizer()
315 for (j = done + g.cnt[group]; j < nvar; ++j) in isl_basic_set_factorizer()
318 if (j == nvar) in isl_basic_set_factorizer()
353 isl_size nparam, nvar; in isl_factorizer_every_factor_basic_set() local
359 nvar = isl_basic_set_dim(f->bset, isl_dim_set); in isl_factorizer_every_factor_basic_set()
360 if (nparam < 0 || nvar < 0) in isl_factorizer_every_factor_basic_set()
371 nparam + n + f->len[i], nvar - n - f->len[i]); in isl_factorizer_every_factor_basic_set()
375 n + f->len[i], nvar - n - f->len[i]); in isl_factorizer_every_factor_basic_set()