Searched refs:NegDom (Results 1 – 1 of 1) sorted by relevance
103 auto *NegDom = isl_pw_aff_pos_set(NegPWA); in takeNonNegativeAssumption() local105 isl::manage(isl_set_union(PWAC.second.release(), isl_set_copy(NegDom))); in takeNonNegativeAssumption()106 auto *Restriction = BB ? NegDom : isl_set_params(NegDom); in takeNonNegativeAssumption()