reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
488 takeNonNegativeAssumption(DividendPWAC); 490 DividendPWAC = combine(DividendPWAC, DivisorPWAC, isl_pw_aff_div); 490 DividendPWAC = combine(DividendPWAC, DivisorPWAC, isl_pw_aff_div); 491 DividendPWAC.first = DividendPWAC.first.floor(); 491 DividendPWAC.first = DividendPWAC.first.floor(); 493 return DividendPWAC;