SharedCounter.Exchange method

Sets the counter to a value atomically.

public virtual int Exchange(int value)

See Also

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