C# Class ExternalDelayingExplorer.CustomDBSchedulerState

Inheritance: Microsoft.Zing.ZingerSchedulerState

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

Méthodes publiques

Свойство	Type	Description
EnabledProcessesWithPriority	int>.Dictionary
PriorityMap	int>.Dictionary
randGen	System.Random
sortedProcesses	List

Méthodes publiques

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

Method Details

Clone() public méthode

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

CustomDBSchedulerState() public méthode

public CustomDBSchedulerState ( ) : System
Résultat	System

CustomDBSchedulerState() public méthode

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

ToString() public méthode

public ToString ( ) : string
Résultat	string

Property Details

EnabledProcessesWithPriority public_oe property

public Dictionary EnabledProcessesWithPriority
Résultat	int>.Dictionary

PriorityMap public_oe property

public Dictionary PriorityMap
Résultat	int>.Dictionary

randGen public_oe property

public Random,System randGen
Résultat	System.Random

sortedProcesses public_oe property

public List sortedProcesses
Résultat	List