reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2044 if (PollyRemarksMinimal && !isEffectiveAssumption(Set, Sign)) 2050 if (Sign == AS_ASSUMPTION) 2053 bool IsTrivial = (Sign == AS_RESTRICTION && Set.is_empty()) || 2054 (Sign == AS_ASSUMPTION && Univ.is_equal(Set)); 2093 auto Suffix = Sign == AS_ASSUMPTION ? " assumption:\t" : " restriction:\t";