SharedDictionary<TKey,TValue>.Count property
Gets the number of elements in the dictionary.
public virtual int Count { get; }
See Also
- class SharedDictionary<TKey,TValue>
- namespace Microsoft.Coyote.Actors.SharedObjects
- assembly Microsoft.Coyote.Actors