SharedCounter.Create method

Creates a new shared counter.

public static SharedCounter Create(IActorRuntime runtime, int value = 0)

parameter	description
runtime	The actor runtime.
value	The initial value.

See Also

• interface IActorRuntime
• class SharedCounter
• namespace Microsoft.Coyote.Actors.SharedObjects
• assembly Microsoft.Coyote.Actors