Searched refs:n_unknown (Results 1 – 1 of 1) sorted by relevance
126 int n_unknown; member339 n_known = n_div - sol->context->n_unknown; in sol_push_sol_mat()2101 pos = context_tab->n_var - context->n_unknown; in add_div()2108 pos = tab->n_var - context->n_unknown; in add_div()2119 return tab->n_div - 1 - context->n_unknown; in add_div()2212 n = tab->n_div - context->n_unknown; in add_parametric_cut()3667 context->n_unknown = n_div - first; in isl_context_alloc()