 | VersionVector Methods |
The VersionVector type exposes the following members.
Methods| Name | Description | |
|---|---|---|
 | Compare |
Compare two version vectors. The outcome will be one of the following:
Version 1 is SAME (==) as Version 2 iff for all i c1(i) == c2(i) Version 1 is BEFORE (<) Version 2 iff for all i c1(i) <= c2(i) and there exist a j such that c1(j) < c2(j) Version 1 is AFTER (>) Version 2 iff for all i c1(i) >= c2(i) and there exist a j such that c1(j) > c2(j) Version 1 is CONCURRENT to Version 2 otherwise |
| Contains | |
 | Create(ImmutableDictionaryUniqueAddress, Int64) | |
| Create(UniqueAddress, Int64) | |
| Equals(Object) | Determines whether the specified object is equal to the current object. (Overrides ObjectEquals(Object).) |
| Equals(VersionVector) | Indicates whether the current object is equal to another object of the same type. |
 | Finalize | Allows an object to try to free resources and perform other cleanup operations before it is reclaimed by garbage collection. (Inherited from Object.) |
| GetHashCode | Serves as the default hash function. (Inherited from Object.) |
| GetType | Gets the Type of the current instance. (Inherited from Object.) |
| Increment |
Increment the version for the node passed as argument. Returns a new VersionVector.
|
| IsAfter | |
| IsBefore | |
| IsConcurrent | |
| IsSame |
Returns true if x VersionVector has the same
history as the y VersionVector else false.
|
| MemberwiseClone | Creates a shallow copy of the current Object. (Inherited from Object.) |
| Merge(IReplicatedData) | |
| Merge(VersionVector) |
Merges this VersionVector with another VersionVector. E.g. merges its versioned history.
|
| NeedPruningFrom | |
| Prune | |
| PruningCleanup | |
| ToString | Returns a string that represents the current object. (Inherited from Object.) |
| VersionAt |
Extension Methods| Name | Description | |
|---|---|---|
 | AsInstanceOfT |
TBD
(Defined by Extensions.) |
| Match | Overloaded.
Matches the specified target.
(Defined by PatternMatch.) |
| MatchT | Overloaded.
Matches the specified target and return a result of target processing.
(Defined by PatternMatch.) |
See Also