SharedCounter.Add method

Adds a value to the counter atomically.

public virtual int Add(int value)

See Also

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