Lines Matching defs:That

301   /// Combine two knowledges, this and @p That.
302   void learnFrom(Knowledge That) {
303     assert(!isConflicting(*this, That));
304     assert(!Unused.is_null() && !That.Occupied.is_null());
306         That.Unused.is_null() &&
307         "This function is only prepared to learn occupied elements from That");
310                                  "this->Occupied.unite(That.Occupied);`");
312     Unused = Unused.subtract(That.Occupied);
313     Known = Known.unite(That.Known);
314     Written = Written.unite(That.Written);
322   /// implementation is constrained by the implicit interpretation. That is, @p