C# Class Microsoft.Zing.ZingerExternalScheduler

Zing External Scheduler
Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Свойство Type Description
zDelaySched ZingerDelayingScheduler
zSchedState ZingerSchedulerState

Méthodes publiques

Méthode Description
ZingerExternalScheduler ( ) : System

Method Details

ZingerExternalScheduler() public méthode

public ZingerExternalScheduler ( ) : System
Résultat System

Property Details

zDelaySched public_oe property

public ZingerDelayingScheduler,Microsoft.Zing zDelaySched
Résultat ZingerDelayingScheduler

zSchedState public_oe property

public ZingerSchedulerState,Microsoft.Zing zSchedState
Résultat ZingerSchedulerState