C# 클래스 Microsoft.Zing.ZingerExternalScheduler

Zing External Scheduler
파일 보기 프로젝트 열기: ZingModelChecker/Zing

공개 프로퍼티들

프로퍼티 타입 설명
zDelaySched ZingerDelayingScheduler
zSchedState ZingerSchedulerState

공개 메소드들

메소드 설명
ZingerExternalScheduler ( ) : System

메소드 상세

ZingerExternalScheduler() 공개 메소드

public ZingerExternalScheduler ( ) : System
리턴 System

프로퍼티 상세

zDelaySched 공개적으로 프로퍼티

public ZingerDelayingScheduler,Microsoft.Zing zDelaySched
리턴 ZingerDelayingScheduler

zSchedState 공개적으로 프로퍼티

public ZingerSchedulerState,Microsoft.Zing zSchedState
리턴 ZingerSchedulerState