Searched refs:isUniversal (Results 1 – 4 of 4) sorted by relevance
317 return isUniversal() || matches(CapE); in matchesUniv()345 bool isUniversal() const { return isa_and_nonnull<til::Wildcard>(sexpr()); } in isUniversal() function
3096 bool isUniversal() const { return Universal; }3107 if (RHS.isUniversal())3116 Universal &= RHS.isUniversal();3127 if (!RHS.isUniversal() && !Universal)3130 Universal |= RHS.isUniversal();3183 bool IsUniversal = Assumed.isUniversal();3192 IsUniversal != Assumed.isUniversal();
884 if (!asserted() && !negative() && !isUniversal()) { in handleRemovalFromIntersection()
11792 if (getKnown().isUniversal()) in manifest()11820 if (!Assumed.isUniversal()) { in getAsStr()