Searched refs:CommonWrittenValDomain (Results 1 – 1 of 1) sorted by relevance
433 auto CommonWrittenValDomain = CommonWrittenVal.domain(); in isConflicting() local435 if (!ExistingConflictingWritesDomain.is_subset(CommonWrittenValDomain)) { in isConflicting()438 ExistingConflictingWrites.subtract_domain(CommonWrittenValDomain); in isConflicting()