C# 클래스 Microsoft.Zing.ZingPreemptionBounding

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

파일 보기 프로젝트 열기: ZingModelChecker/Zing 1 사용 예제들

공개 프로퍼티들

프로퍼티	타입	설명
currentProcess	int
preempted	bool

공개 메소드들

메소드	설명
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

메소드 상세

Clone() 공개 메소드

public Clone ( ) : ZingPreemptionBounding
리턴	ZingPreemptionBounding

GetNextProcessToExecute() 공개 메소드

get the next process to be executed.

public GetNextProcessToExecute ( ) : int
리턴	int

ZingPreemptionBounding() 공개 메소드

public ZingPreemptionBounding ( ) : System.Collections.Generic
리턴	System.Collections.Generic

ZingPreemptionBounding() 공개 메소드

Initialize the object

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

프로퍼티 상세

currentProcess 공개적으로 프로퍼티

stores the current process being executed.

public int currentProcess
리턴	int

preempted 공개적으로 프로퍼티

public bool preempted
리턴	bool