public class Replicator.Internal$.DeletedData extends java.lang.Object implements ReplicatedData, ReplicatedDataSerialization, scala.Product, scala.Serializable
Constructor and Description |
---|
DeletedData() |
Modifier and Type | Method and Description |
---|---|
ReplicatedData |
merge(ReplicatedData that)
Monotonic merge function.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public ReplicatedData merge(ReplicatedData that)
ReplicatedData
merge
in interface ReplicatedData
that
- (undocumented)