C# Class ExternalDelayingExplorer.RandomDBSchedulerState

Inheritance: Microsoft.Zing.ZingerSchedulerState

Show file Open project: ZingModelChecker/Zing Class Usage Examples

Public Properties

Property	Type	Description
EnabledProcesses	List
randGen	System.Random
scheculedProcess	int
setOfProcesses	List

Public Methods

Method	Description
Clone ( bool isCloneForFrontier ) : ZingerSchedulerState
RandomDBSchedulerState ( ) : System	default constructor
RandomDBSchedulerState ( RandomDBSchedulerState copyThis ) : System
ToString ( ) : string

Method Details

Clone() public method

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

RandomDBSchedulerState() public method

default constructor

public RandomDBSchedulerState ( ) : System
return	System

RandomDBSchedulerState() public method

public RandomDBSchedulerState ( RandomDBSchedulerState copyThis ) : System
copyThis	RandomDBSchedulerState
return	System

ToString() public method

public ToString ( ) : string
return	string

Property Details

EnabledProcesses public property

public List EnabledProcesses
return	List

randGen public property

public Random,System randGen
return	System.Random

scheculedProcess public property

public int scheculedProcess
return	int

setOfProcesses public property

public List setOfProcesses
return	List