Searched refs:ExistingConflictingWrites (Results 1 – 1 of 1) sorted by relevance
427 auto ExistingConflictingWrites = in isConflicting() local429 auto ExistingConflictingWritesDomain = ExistingConflictingWrites.domain(); in isConflicting()432 ProposedFixedKnown.intersect(ExistingConflictingWrites); in isConflicting()438 ExistingConflictingWrites.subtract_domain(CommonWrittenValDomain); in isConflicting()