Lines Matching refs:delta_set
3932 isl_set *delta_set; in test_one_schedule() local
3994 delta_set = isl_set_from_union_set(delta); in test_one_schedule()
3996 slice = isl_set_universe(isl_set_get_space(delta_set)); in test_one_schedule()
3999 is_tilable = isl_set_is_subset(delta_set, slice); in test_one_schedule()
4002 slice = isl_set_universe(isl_set_get_space(delta_set)); in test_one_schedule()
4005 is_parallel = isl_set_is_subset(delta_set, slice); in test_one_schedule()
4008 origin = isl_set_universe(isl_set_get_space(delta_set)); in test_one_schedule()
4012 delta_set = isl_set_union(delta_set, isl_set_copy(origin)); in test_one_schedule()
4013 delta_set = isl_set_lexmin(delta_set); in test_one_schedule()
4015 is_nonneg = isl_set_is_equal(delta_set, origin); in test_one_schedule()
4018 isl_set_free(delta_set); in test_one_schedule()