C# Class ExternalDelayingExplorer.RandomDBSchedulerState

Inheritance: Microsoft.Zing.ZingerSchedulerState

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

Méthodes publiques

Свойство	Type	Description
EnabledProcesses	List
randGen	System.Random
scheculedProcess	int
setOfProcesses	List

Méthodes publiques

Méthode	Description
Clone ( bool isCloneForFrontier ) : ZingerSchedulerState
RandomDBSchedulerState ( ) : System	default constructor
RandomDBSchedulerState ( RandomDBSchedulerState copyThis ) : System
ToString ( ) : string

Method Details

Clone() public méthode

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

RandomDBSchedulerState() public méthode

default constructor

public RandomDBSchedulerState ( ) : System
Résultat	System

RandomDBSchedulerState() public méthode

public RandomDBSchedulerState ( RandomDBSchedulerState copyThis ) : System
copyThis	RandomDBSchedulerState
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

randGen public_oe property

public Random,System randGen
Résultat	System.Random

scheculedProcess public_oe property

public int scheculedProcess
Résultat	int

setOfProcesses public_oe property

public List setOfProcesses
Résultat	List