Searched refs:isUniversal (Results 1 – 4 of 4) sorted by relevance
306 return isUniversal() || matches(CapE); in matchesUniv()334 bool isUniversal() const { return sexpr() && isa<til::Wildcard>(sexpr()); } in isUniversal() function
2699 bool isUniversal() const { return Universal; }2710 if (RHS.isUniversal())2719 Universal &= RHS.isUniversal();2730 if (!RHS.isUniversal() && !Universal)2733 Universal |= RHS.isUniversal();
867 if (!asserted() && !negative() && !isUniversal()) { in handleRemovalFromIntersection()
10611 (Assumed.isUniversal()) in getAsStr()10640 if (Assumptions.isUniversal()) in manifest()10693 if (getKnown().isUniversal()) in manifest()