reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2044 if (PollyRemarksMinimal && !isEffectiveAssumption(Set, Sign)) 2051 Univ = isl::set::universe(Set.get_space()); 2053 bool IsTrivial = (Sign == AS_RESTRICTION && Set.is_empty()) || 2054 (Sign == AS_ASSUMPTION && Univ.is_equal(Set)); 2094 std::string Msg = toString(Kind) + Suffix + Set.to_str();