Lines Matching defs:bset
216 isl_basic_set *bset; in rational_universe() local
237 static __isl_give isl_basic_set *farkas(__isl_take isl_basic_set *bset, in farkas()
322 __isl_take isl_basic_set *bset) in isl_basic_set_coefficients_base()
414 static int is_ray(__isl_keep isl_basic_set *bset, int ineq) in is_ray()
426 __isl_keep isl_basic_set *bset, void *user) in isl_basic_set_coefficients_factor()
491 static __isl_give isl_basic_set *add_lines(__isl_take isl_basic_set *bset, in add_lines()
513 static __isl_give isl_basic_set *add_rays(__isl_take isl_basic_set *bset, in add_rays()
602 static __isl_give isl_basic_set *add_vertex(__isl_take isl_basic_set *bset, in add_vertex()
814 __isl_take isl_basic_set *bset) in basic_set_coefficients()
840 __isl_take isl_basic_set *bset) in isl_basic_set_coefficients()
867 __isl_take isl_basic_set *bset) in isl_basic_set_solutions()
909 isl_basic_set *bset, *coeff_i; in isl_set_coefficients() local
923 __isl_take isl_basic_set *bset, void *user) in coefficients_wrap()
958 isl_basic_set *bset, *sol_i; in isl_set_solutions() local