Searched refs:farkas (Results 1 – 1 of 1) sorted by relevance
237 static __isl_give isl_basic_set *farkas(__isl_take isl_basic_set *bset, in farkas() function324 return farkas(bset, 1); in isl_basic_set_coefficients_base()881 bset = farkas(bset, -1); in isl_basic_set_solutions()