C# Class Microsoft.Zing.ZingPreemptionBounding

This class stores the necessary information in traversalInfo for performing preemption bounding.

显示文件 Open project: ZingModelChecker/Zing Class Usage Examples

Public Properties

Property	Type	Description
currentProcess	int
preempted	bool

Public Methods

Method	Description
Clone ( ) : ZingPreemptionBounding
GetNextProcessToExecute ( ) : int	get the next process to be executed.
ZingPreemptionBounding ( ) : System.Collections.Generic
ZingPreemptionBounding ( ProcessInfo processInfo, int numSuccessor, int currentProcessParam ) : System.Collections.Generic	Initialize the object

Method Details

Clone() public method

public Clone ( ) : ZingPreemptionBounding
return	ZingPreemptionBounding

GetNextProcessToExecute() public method

get the next process to be executed.

public GetNextProcessToExecute ( ) : int
return	int

ZingPreemptionBounding() public method

public ZingPreemptionBounding ( ) : System.Collections.Generic
return	System.Collections.Generic

ZingPreemptionBounding() public method

Initialize the object

public ZingPreemptionBounding ( ProcessInfo processInfo, int numSuccessor, int currentProcessParam ) : System.Collections.Generic
processInfo	ProcessInfo
numSuccessor	int
currentProcessParam	int
return	System.Collections.Generic

Property Details

currentProcess public_oe property

stores the current process being executed.

public int currentProcess
return	int

preempted public_oe property

public bool preempted
return	bool