C# Class ExternalDelayingExplorer.RTCDBSchedulerState

Inheritance: Microsoft.Zing.ZingerSchedulerState

Afficher le fichier Open project: ZingModelChecker/Zing Class Usage Examples

Méthodes publiques

Свойство	Type	Description
DBStack	Stack

Méthodes publiques

Méthode	Description
Clone ( bool isCloneForFrontier ) : ZingerSchedulerState
RTCDBSchedulerState ( ) : System
RTCDBSchedulerState ( RTCDBSchedulerState copyThis ) : System
ToString ( ) : string

Method Details

Clone() public méthode

public Clone ( bool isCloneForFrontier ) : ZingerSchedulerState
isCloneForFrontier	bool
Résultat	Microsoft.Zing.ZingerSchedulerState

RTCDBSchedulerState() public méthode

public RTCDBSchedulerState ( ) : System
Résultat	System

RTCDBSchedulerState() public méthode

public RTCDBSchedulerState ( RTCDBSchedulerState copyThis ) : System
copyThis	RTCDBSchedulerState
Résultat	System

ToString() public méthode

public ToString ( ) : string
Résultat	string

Property Details

DBStack public_oe property

public Stack DBStack
Résultat	Stack