186 class Knowledge final {  class
265   Knowledge() {}  in Knowledge()  function in __anonf637340e0111::Knowledge
268   Knowledge(isl::union_set Occupied, isl::union_set Unused,  in Knowledge()  function in __anonf637340e0111::Knowledge
300   void learnFrom(Knowledge That) {  in learnFrom()
335   static bool isConflicting(const Knowledge &Existing,  in isConflicting()
336                             const Knowledge &Proposed,  in isConflicting()
526   Knowledge OriginalZone;
530   Knowledge Zone;
548   bool isConflicting(const Knowledge &Proposed) {  in isConflicting()
551     return Knowledge::isConflicting(Zone, Proposed, OS, 4);  in isConflicting()
737     Knowledge Proposed(EltZone, {}, filterKnownValInst(EltKnown), DefEltSched);  in tryMapValue()
750   void applyLifetime(Knowledge Proposed) {  in applyLifetime()
770                 Knowledge Proposed) {  in mapValue()
948     Knowledge Proposed(Occupied, {}, EltLifetimeInst, Written);  in tryMapPHI()
973               Knowledge Proposed) {  in mapPHI()
1225     Zone = OriginalZone = Knowledge({}, EltUnused, EltKnown, EltWritten);  in computeZone()
1520   Knowledge Existing(std::move(ExistingOccupied), std::move(ExistingUnused),  in isConflicting()
1522   Knowledge Proposed(std::move(ProposedOccupied), std::move(ProposedUnused),  in isConflicting()
1525   return Knowledge::isConflicting(Existing, Proposed, OS, Indent);  in isConflicting()