Microsoft.Zing.ZingerSchedulerState.GetZingProcessId C# (CSharp) Method

ZingerSchedulerState Class Documentation Show file Open project: ZingModelChecker/Zing

GetZingProcessId() public method

This function returns the Zing process Id corresponding to the P process.
public GetZingProcessId ( int P_ProcessId ) : int
P_ProcessId int
return int 
        public int GetZingProcessId(int P_ProcessId)
        {
            return PprocessToZingprocess[P_ProcessId];
        }
ZingerSchedulerState
Clone
Finish
GetZingProcessId
Map
Start
ZingerSchedulerState