C# Class ExternalDelayingExplorer.RandomDBSchedulerState

Inheritance: Microsoft.Zing.ZingerSchedulerState

显示文件 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_oe property

public List EnabledProcesses
return	List

randGen public_oe property

public Random,System randGen
return	System.Random

scheculedProcess public_oe property

public int scheculedProcess
return	int

setOfProcesses public_oe property

public List setOfProcesses
return	List