Searched refs:lin_dim (Results 1 – 1 of 1) sorted by relevance
953 unsigned lin_dim; in modulo_lineality() local959 lin_dim = total - lin->n_eq; in modulo_lineality()967 Q = isl_mat_drop_rows(Q, Q->n_row - lin_dim, lin_dim); in modulo_lineality()973 set = isl_set_remove_dims(set, isl_dim_set, total - lin_dim, lin_dim); in modulo_lineality()