SharedCounter.CompareExchange method

Sets the counter to a value atomically if it is equal to a given value.

public virtual int CompareExchange(int value, int comparand)

See Also

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