C# Class Microsoft.Zing.ZingPreemptionBounding

This class stores the necessary information in traversalInfo for performing preemption bounding.
Afficher le fichier Open project: ZingModelChecker/Zing Class Usage Examples

Méthodes publiques

Свойство Type Description
currentProcess int
preempted bool

Méthodes publiques

Méthode 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 méthode

public Clone ( ) : ZingPreemptionBounding
Résultat ZingPreemptionBounding

GetNextProcessToExecute() public méthode

get the next process to be executed.
public GetNextProcessToExecute ( ) : int
Résultat int

ZingPreemptionBounding() public méthode

public ZingPreemptionBounding ( ) : System.Collections.Generic
Résultat System.Collections.Generic

ZingPreemptionBounding() public méthode

Initialize the object
public ZingPreemptionBounding ( ProcessInfo processInfo, int numSuccessor, int currentProcessParam ) : System.Collections.Generic
processInfo ProcessInfo
numSuccessor int
currentProcessParam int
Résultat System.Collections.Generic

Property Details

currentProcess public_oe property

stores the current process being executed.
public int currentProcess
Résultat int

preempted public_oe property

public bool preempted
Résultat bool