Searched refs:NegPWA (Results 1 – 1 of 1) sorted by relevance
102 auto *NegPWA = isl_pw_aff_neg(PWAC.first.copy()); in takeNonNegativeAssumption() local103 auto *NegDom = isl_pw_aff_pos_set(NegPWA); in takeNonNegativeAssumption()