202   isl::union_set Occupied;  member in __anonf637340e0111::Knowledge
242     if (Occupied.is_null() && Unused.is_null() && Known.is_null() &&  in checkConsistency()
246     assert(!Occupied.is_null() || !Unused.is_null());  in checkConsistency()
251     if (Occupied.is_null() || Unused.is_null())  in checkConsistency()
254     assert(Occupied.is_disjoint(Unused));  in checkConsistency()
255     auto Universe = Occupied.unite(Unused);  in checkConsistency()
268   Knowledge(isl::union_set Occupied, isl::union_set Unused,  in Knowledge()  argument
270       : Occupied(std::move(Occupied)), Unused(std::move(Unused)),  in Knowledge()
277     return (Occupied.is_null() || Unused.is_null()) && !Known.is_null() &&  in isUsable()
284       if (!Occupied.is_null())  in print()
285         OS.indent(Indent) << "Occupied: " << Occupied << "\n";  in print()
302     assert(!Unused.is_null() && !That.Occupied.is_null());  in learnFrom()
306     assert(Occupied.is_null() && "This function does not implement "  in learnFrom()
310     Unused = Unused.subtract(That.Occupied);  in learnFrom()
340     assert(!Proposed.Occupied.is_null());  in isConflicting()
343     if (!Existing.Occupied.is_null() && !Proposed.Unused.is_null()) {  in isConflicting()
344       auto ExistingUniverse = Existing.Occupied.unite(Existing.Unused);  in isConflicting()
345       auto ProposedUniverse = Proposed.Occupied.unite(Proposed.Unused);  in isConflicting()
375     auto ProposedOccupiedAnyVal = makeUnknownForDomain(Proposed.Occupied);  in isConflicting()
387     if (!Proposed.Occupied.is_subset(Matches)) {  in isConflicting()
389         auto Conflicting = Proposed.Occupied.subtract(Matches);  in isConflicting()
427         convertZoneToTimepoints(Proposed.Occupied, true, false);  in isConflicting()
945     auto Occupied = LifetimeTranslator.range();  in tryMapPHI()  local
946     simplify(Occupied);  in tryMapPHI()
948     Knowledge Proposed(Occupied, {}, EltLifetimeInst, Written);  in tryMapPHI()