Searched refs:isl_basic_set_lift (Results 1 – 5 of 5) sorted by relevance
981 ls_bset = isl_basic_set_lift(ls_bset); in isl_local_space_lift_basic_set()1014 bset = isl_basic_set_lift(bset); in isl_local_space_lift_set()1451 lifting = isl_basic_set_unwrap(isl_basic_set_lift(bset)); in isl_local_space_lifting()
7737 bset = isl_basic_set_lift(bset); in base_compute_divs()11316 __isl_give isl_basic_set *isl_basic_set_lift(__isl_take isl_basic_set *bset) in isl_basic_set_lift() function11368 set->p[i] = isl_basic_set_lift(set->p[i]); in isl_set_lift()
4087 bset = isl_basic_set_lift(bset); in test_lift()
539 __isl_give isl_basic_set *isl_basic_set_lift(__isl_take isl_basic_set *bset);
6800 __isl_give isl_basic_set *isl_basic_set_lift(6809 a basic set, has essentially the same effect as C<isl_basic_set_lift>,