C# Class ExternalDelayingExplorer.CustomDBSchedulerState

Inheritance: Microsoft.Zing.ZingerSchedulerState

Show file Open project: ZingModelChecker/Zing Class Usage Examples

Public Properties

Property	Type	Description
EnabledProcessesWithPriority	int>.Dictionary
PriorityMap	int>.Dictionary
randGen	System.Random
sortedProcesses	List

Public Methods

Method	Description
Clone ( bool isCloneForFrontier ) : ZingerSchedulerState
CustomDBSchedulerState ( ) : System
CustomDBSchedulerState ( CustomDBSchedulerState copyThis ) : System
ToString ( ) : string

Method Details

Clone() public method

public Clone ( bool isCloneForFrontier ) : ZingerSchedulerState
isCloneForFrontier	bool
return	Microsoft.Zing.ZingerSchedulerState

CustomDBSchedulerState() public method

public CustomDBSchedulerState ( ) : System
return	System

CustomDBSchedulerState() public method

public CustomDBSchedulerState ( CustomDBSchedulerState copyThis ) : System
copyThis	CustomDBSchedulerState
return	System

ToString() public method

public ToString ( ) : string
return	string

Property Details

EnabledProcessesWithPriority public property

public Dictionary EnabledProcessesWithPriority
return	int>.Dictionary

PriorityMap public property

public Dictionary PriorityMap
return	int>.Dictionary

randGen public property

public Random,System randGen
return	System.Random

sortedProcesses public property

public List sortedProcesses
return	List