C# Class ExternalDelayingExplorer.RoundRobinDBSchedulerState

Inheritance: Microsoft.Zing.ZingerSchedulerState

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

Méthodes publiques

Свойство	Type	Description
enabledProcesses	List

Méthodes publiques

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

Method Details

Clone() public méthode

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

RoundRobinDBSchedulerState() public méthode

public RoundRobinDBSchedulerState ( ) : System
Résultat	System

RoundRobinDBSchedulerState() public méthode

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

ToString() public méthode

public ToString ( ) : string
Résultat	string

Property Details

enabledProcesses public_oe property

public List enabledProcesses
Résultat	List