reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
995 return Delta->isZero(); 997 return SE->isKnownNonZero(Delta); 999 return SE->isKnownNonNegative(Delta); 1001 return SE->isKnownNonPositive(Delta); 1003 return SE->isKnownPositive(Delta); 1005 return SE->isKnownNegative(Delta);