Searched refs:isUniversal (Results 1 – 4 of 4) sorted by relevance
307 return isUniversal() || matches(CapE); in matchesUniv()335 bool isUniversal() const { return sexpr() && isa<til::Wildcard>(sexpr()); } in isUniversal() function
2876 bool isUniversal() const { return Universal; }2887 if (RHS.isUniversal())2896 Universal &= RHS.isUniversal();2907 if (!RHS.isUniversal() && !Universal)2910 Universal |= RHS.isUniversal();
867 if (!asserted() && !negative() && !isUniversal()) { in handleRemovalFromIntersection()
11257 (Assumed.isUniversal()) in getAsStr()11286 if (Assumptions.isUniversal()) in manifest()11339 if (getKnown().isUniversal()) in manifest()