228   isl::union_map Known;  member in __anonf637340e0111::Knowledge
242     if (Occupied.is_null() && Unused.is_null() && Known.is_null() &&  in checkConsistency()
247     assert(!Known.is_null());  in checkConsistency()
257     assert(!Known.domain().is_subset(Universe).is_false());  in checkConsistency()
269             isl::union_map Known, isl::union_map Written)  in Knowledge()  argument
271         Known(std::move(Known)), Written(std::move(Written)) {  in Knowledge()
277     return (Occupied.is_null() || Unused.is_null()) && !Known.is_null() &&  in isUsable()
292       OS.indent(Indent) << "Known:    " << Known << "\n";  in print()
311     Known = Known.unite(That.Known);  in learnFrom()
376     auto ProposedValues = Proposed.Known.unite(ProposedOccupiedAnyVal);  in isConflicting()
379     auto ExistingValues = Existing.Known.unite(ExistingUnusedAnyVal);  in isConflicting()
391             Existing.Known.intersect_domain(Conflicting);  in isConflicting()
393             Proposed.Known.intersect_domain(Conflicting);  in isConflicting()
429         convertZoneToTimepoints(Proposed.Known, isl::dim::in, true, false);  in isConflicting()
462         convertZoneToTimepoints(Existing.Known, isl::dim::in, true, false);  in isConflicting()