SchedulingPoint.Yield method

Attempts to yield execution to another controlled operation.

public static void Yield()

Remarks

Invoking this method might lower the scheduling priority of the currently executing operation when certain exploration strategies are used.

See Also

• class SchedulingPoint
• namespace Microsoft.Coyote.Runtime
• assembly Microsoft.Coyote