236   isl::union_map Written;  member in __anonf637340e0111::Knowledge
243         Written.is_null())  in checkConsistency()
248     assert(!Written.is_null());  in checkConsistency()
258     assert(!Written.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()
278            !Written.is_null();  in isUsable()
293       OS.indent(Indent) << "Written : " << Written << '\n';  in print()
312     Written = Written.unite(That.Written);  in learnFrom()
432         Existing.Written.intersect_domain(ProposedFixedDefs);  in isConflicting()
464     auto ProposedWrittenDomain = Proposed.Written.domain();  in isConflicting()
465     auto KnownIdentical = ExistingKnownDefs.intersect(Proposed.Written);  in isConflicting()
474             Proposed.Written.intersect_domain(Conflicting);  in isConflicting()
489     auto ExistingWrittenDomain = Existing.Written.domain();  in isConflicting()
491         Existing.Written.domain().intersect(Proposed.Written.domain());  in isConflicting()
492     auto ExistingKnownWritten = filterKnownValInst(Existing.Written);  in isConflicting()
493     auto ProposedKnownWritten = filterKnownValInst(Proposed.Written);  in isConflicting()
501             Existing.Written.intersect_domain(Conflicting);  in isConflicting()
503             Proposed.Written.intersect_domain(Conflicting);  in isConflicting()
931     auto Written = WrittenValue.apply_domain(WrittenTranslator);  in tryMapPHI()  local
932     simplify(Written);  in tryMapPHI()
948     Knowledge Proposed(Occupied, {}, EltLifetimeInst, Written);  in tryMapPHI()