SharedRegister<T>.SetValue method
Sets current value of the register.
public virtual void SetValue(T value)
See Also
- class SharedRegister<T>
- namespace Microsoft.Coyote.Actors.SharedObjects
- assembly Microsoft.Coyote.Actors
Sets current value of the register.
public virtual void SetValue(T value)