reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
241 if (!Occupied && !Unused && !Known && !Written) 244 assert(Occupied || Unused); 249 if (!Occupied || !Unused) 252 assert(Occupied.is_disjoint(Unused)); 253 auto Universe = Occupied.unite(Unused); 274 bool isUsable() const { return (Occupied || Unused) && Known && Written; } 279 if (Occupied) 280 OS.indent(Indent) << "Occupied: " << Occupied << "\n"; 297 assert(Unused && That.Occupied); 301 assert(!Occupied && "This function does not implement " 305 Unused = Unused.subtract(That.Occupied); 335 assert(Proposed.Occupied); 338 if (Existing.Occupied && Proposed.Unused) { 339 auto ExistingUniverse = Existing.Occupied.unite(Existing.Unused); 340 auto ProposedUniverse = Proposed.Occupied.unite(Proposed.Unused); 370 auto ProposedOccupiedAnyVal = makeUnknownForDomain(Proposed.Occupied); 382 if (!Proposed.Occupied.is_subset(Matches)) { 384 auto Conflicting = Proposed.Occupied.subtract(Matches); 422 convertZoneToTimepoints(Proposed.Occupied, true, false);