Searched refs:ExistingConflictingWrites (Results 1 – 1 of 1) sorted by relevance
431 auto ExistingConflictingWrites = in isConflicting() local433 auto ExistingConflictingWritesDomain = ExistingConflictingWrites.domain(); in isConflicting()436 ProposedFixedKnown.intersect(ExistingConflictingWrites); in isConflicting()442 ExistingConflictingWrites.subtract_domain(CommonWrittenValDomain); in isConflicting()