Searched defs:want_integral (Results 1 – 1 of 1) sorted by relevance
4581 __isl_take isl_basic_set *lp, int n_edge, int want_integral) in non_neg_lexmin()5071 __isl_keep isl_basic_set_list *inter, int want_integral, in compute_carrying_sol_coef()