C# Class Microsoft.Zing.ZingerExternalScheduler

Zing External Scheduler
Exibir arquivo 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_oe property

public ZingerDelayingScheduler,Microsoft.Zing zDelaySched
return ZingerDelayingScheduler

zSchedState public_oe property

public ZingerSchedulerState,Microsoft.Zing zSchedState
return ZingerSchedulerState