reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
335 assert(Proposed.Occupied); 338 if (Existing.Occupied && Proposed.Unused) { 340 auto ProposedUniverse = Proposed.Occupied.unite(Proposed.Unused); 340 auto ProposedUniverse = Proposed.Occupied.unite(Proposed.Unused); 370 auto ProposedOccupiedAnyVal = makeUnknownForDomain(Proposed.Occupied); 371 auto ProposedValues = Proposed.Known.unite(ProposedOccupiedAnyVal); 382 if (!Proposed.Occupied.is_subset(Matches)) { 384 auto Conflicting = Proposed.Occupied.subtract(Matches); 388 Proposed.Known.intersect_domain(Conflicting); 422 convertZoneToTimepoints(Proposed.Occupied, true, false); 424 convertZoneToTimepoints(Proposed.Known, isl::dim::in, true, false); 459 auto ProposedWrittenDomain = Proposed.Written.domain(); 460 auto KnownIdentical = ExistingKnownDefs.intersect(Proposed.Written); 469 Proposed.Written.intersect_domain(Conflicting); 486 Existing.Written.domain().intersect(Proposed.Written.domain()); 488 auto ProposedKnownWritten = filterKnownValInst(Proposed.Written); 498 Proposed.Written.intersect_domain(Conflicting);