reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
334 n_known = n_div - sol->context->n_unknown; 2091 pos = context_tab->n_var - context->n_unknown; 2098 pos = tab->n_var - context->n_unknown; 2109 return tab->n_div - 1 - context->n_unknown; 2191 n = tab->n_div - context->n_unknown; 3629 context->n_unknown = isl_basic_set_dim(dom, isl_dim_div) - first;