Searched refs:isl_basic_set_remove_divs (Results 1 – 6 of 6) sorted by relevance
305 dual = isl_basic_set_remove_divs(dual); in farkas()
917 hull = isl_basic_set_remove_divs(hull); in try_extract_mod()
1045 hull = isl_basic_set_remove_divs(hull); in extract_node()
2586 __isl_give isl_basic_set *isl_basic_set_remove_divs( in isl_basic_set_remove_divs() function
391 __isl_give isl_basic_set *isl_basic_set_remove_divs(
2481 __isl_give isl_basic_set *isl_basic_set_remove_divs(