Searched refs:isl_pw_aff_pos_set (Results 1 – 5 of 5) sorted by relevance
103 auto *NegDom = isl_pw_aff_pos_set(NegPWA); in takeNonNegativeAssumption()
403 __isl_give isl_set *isl_pw_aff_pos_set(__isl_take isl_pw_aff *pa);
11824 auto res = isl_pw_aff_pos_set(copy()); in pos_set()
2846 __isl_give isl_set *isl_pw_aff_pos_set(__isl_take isl_pw_aff *pa) in isl_pw_aff_pos_set() function
5684 __isl_give isl_set *isl_pw_aff_pos_set(