C# Class Microsoft.Zing.ZingerExternalScheduler

Zing External Scheduler
Show file Open project: ZingModelChecker/Zing

Public Properties

Property Type Description
zDelaySched ZingerDelayingScheduler
zSchedState ZingerSchedulerState

Public Methods

Method Description
ZingerExternalScheduler ( ) : System

Method Details

ZingerExternalScheduler() public method

public ZingerExternalScheduler ( ) : System
return System

Property Details

zDelaySched public property

public ZingerDelayingScheduler,Microsoft.Zing zDelaySched
return ZingerDelayingScheduler

zSchedState public property

public ZingerSchedulerState,Microsoft.Zing zSchedState
return ZingerSchedulerState