Searched refs:remainingRegion (Results 1 – 1 of 1) sorted by relevance
114 val remainingRegion = Region(this.region) in <lambda>() constant115 remainingRegion.op(other, Region.Op.XOR) in <lambda>()116 return RegionSubject(remainingRegion, timestamp, reader) in <lambda>()121 val remainingRegion = Region(this.region) in <lambda>() constant122 remainingRegion.op(other, Region.Op.UNION) in <lambda>()123 return RegionSubject(remainingRegion, timestamp, reader) in <lambda>()