AwaitableEventGroup<T>.IsCompleted property

Indicates the AwaitableEventGroup has been completed.

public bool IsCompleted { get; }

See Also

• class AwaitableEventGroup<T>
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors