Searched refs:ProposedWrittenDomain (Results 1 – 1 of 1) sorted by relevance
464 auto ProposedWrittenDomain = Proposed.Written.domain(); in isConflicting() local468 if (!ProposedWrittenDomain.is_subset(IdenticalOrUnused)) { in isConflicting()470 auto Conflicting = ProposedWrittenDomain.subtract(IdenticalOrUnused); in isConflicting()