Lines Matching refs:indep
113 isl_mat *indep; member
724 isl_mat_free(node->indep); in clear_node()
2438 static __isl_give isl_mat *normalize_independent(__isl_take isl_mat *indep) in normalize_independent() argument
2440 indep = isl_mat_reverse_gauss(indep); in normalize_independent()
2441 indep = isl_mat_lexnonneg_rows(indep); in normalize_independent()
2442 return indep; in normalize_independent()
2492 isl_mat_free(node->indep); in node_update_vmap()
2495 node->indep = isl_mat_transpose(U); in node_update_vmap()
2497 node->indep = isl_mat_drop_rows(node->indep, 0, node->rank); in node_update_vmap()
2498 node->indep = normalize_independent(node->indep); in node_update_vmap()
2501 if (!node->indep || !node->vmap || node->rank < 0) in node_update_vmap()
3076 static __isl_give isl_mat *construct_trivial(__isl_keep isl_mat *indep) in construct_trivial() argument
3083 n = isl_mat_rows(indep); in construct_trivial()
3084 n_var = isl_mat_cols(indep); in construct_trivial()
3088 ctx = isl_mat_get_ctx(indep); in construct_trivial()
3095 isl_int_neg(mat->row[i][2 * nj], indep->row[i][j]); in construct_trivial()
3096 isl_int_set(mat->row[i][2 * nj + 1], indep->row[i][j]); in construct_trivial()
3122 trivial = construct_trivial(node->indep); in solve_lp()
4575 node_sol = isl_mat_vec_product(isl_mat_copy(node->indep), node_sol); in is_trivial()