SharedCounter.Increment method

Increments the shared counter.

public virtual void Increment()

See Also

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