/** return true if this vector has seen all version changes that the other vector has seen */ public boolean dominates(RegionVersionVector<T> other) { return !other.isNewerThanOrCanFillExceptionsFor(this); }
&& localRVV.isNewerThanOrCanFillExceptionsFor(remoteRVV)) {
if (recoveredRVV.isNewerThanOrCanFillExceptionsFor(remote_rvv)) { m.versionVector = null; if (isDebugEnabled) {
if (!rgn.getVersionVector().isNewerThanOrCanFillExceptionsFor(this.versionVector)) {
System.out.println("rv1 is " + rv1.fullToString()); System.out.println("rv2 is " + rv2.fullToString()); assertFalse(rv1.isNewerThanOrCanFillExceptionsFor(rv2)); assertFalse(rv2.isNewerThanOrCanFillExceptionsFor(rv1)); assertTrue(rv1.isNewerThanOrCanFillExceptionsFor(rv2)); rv2.recordVersion(server2, 6); assertFalse(rv1.isNewerThanOrCanFillExceptionsFor(rv2)); assertTrue(rv1.isNewerThanOrCanFillExceptionsFor(rv2)); rv2.recordVersion(server2, 5); assertFalse(rv1.isNewerThanOrCanFillExceptionsFor(rv2)); rv1.recordVersion(server2, 7); assertTrue(rv1.isNewerThanOrCanFillExceptionsFor(rv2)); rv2.recordVersion(server2, 7); assertFalse(rv1.isNewerThanOrCanFillExceptionsFor(rv2)); assertTrue(rv1.isNewerThanOrCanFillExceptionsFor(rv2)); rv2.recordVersion(server3, 8); assertFalse(rv1.isNewerThanOrCanFillExceptionsFor(rv2)); assertTrue(rv1.isNewerThanOrCanFillExceptionsFor(rv2)); rv2.recordVersion(server3, 5); assertFalse(rv1.isNewerThanOrCanFillExceptionsFor(rv2));