Operation.ScheduleNext method

Schedules the next enabled operation, which can include the currently executing operation.

public static void ScheduleNext()

Remarks

An enabled operation is one that is not blocked nor completed.

See Also

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