Lines Matching defs:domain
63 PipMatrix *domain = NULL;
69 domain = isl_basic_map_to_pip(bmap, 0, 1, 0);
70 if (!domain)
72 entier_set_si(domain->p[0][1], -1);
73 isl_int_set(domain->p[0][domain->NbColumns - 1], f[0]);
74 isl_seq_cpy_to_pip(domain->p[0]+2, f+1, total);
82 sol = pip_solve(domain, NULL, -1, options);
99 pip_matrix_free(domain);
103 if (domain)
104 pip_matrix_free(domain);