SharedCounter.Decrement method

Decrements the shared counter.

public virtual void Decrement()

See Also

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